RTEMS real time kernel

[Franz Schoning]

I've just come across a super looking real time executive/kernel at http://lancelot.gcs.redstone.army.mil/rtems.html. It appears to be distributed under GNU licensing. Does anyone have any experience with this kernel especially as regards a Kaffe port. It has a POSIX compliant API (albeit not fully tested). I think that I'm goint to try to port this kernel to my StrongARM system and then try get Kaffe ported.

Franz