>How does the firmware on the Netwinder work ?

It's a cut down Linux kernel, basically.  Ultimately it just loads and runs a 
binary file though.

p.