The last article wasn't all for today. Actually, the Cocoboot ELF loader was intended to load OpenBSD kernel which is an ELF binary. And it's already possible to boot patched OpenBSD kernel on PalmLD and PalmTT5. The patched kernel sources are currently in a really horrible mess and will need sorting out (which I will do after the examination period). What works already is the framebuffer, so you can see the devil booting ;-). For screenshots, read on...

Screenshots (the device running it is PalmLD, they are the same, just the lightning differs):
http://marex.hackndev.com/OpenBSD/p1000296.jpg
http://marex.hackndev.com/OpenBSD/p1000297.jpg
http://marex.hackndev.com/OpenBSD/p1000298.jpg
http://marex.hackndev.com/OpenBSD/p1000299.jpg
http://marex.hackndev.com/OpenBSD/p1000300.jpg