On Aug 31, 2007, at 11:06 AM, Jean-Paul van de Plasse wrote:

Anyway I can find out what goes wrong if my verdex stops at "Starting kernel ..."
I tried a different kernel with some debugging enabled, but that does not show more.

Do you have the "console=ttyS0,115200n8" in your u-boot's bootargs?  If not, then it's probably running just fine, you're just not seeing any output because it's not being sent to the serial port.  If you wait a while, and still have the getty on ttyS0 in /etc/inittab, then eventually you'll get a login prompt.