I should mention that I "ported" Xinu over to the Apple ] [ when I was at uni: I transliterated the C code into assembly and used an external 555 timer to generate the clock ticks. Fun times!
Warren
--
Sent from my Android phone with K-9 Mail. Please excuse my brevity.