I've tried with the help of the author, (who is not an x86 expert) to port this to x86. We haven't used any of the MMU features, just setup GDT/IDT and a timer interrupt with the help of the James Molloy tutorials. 99% of the work has been done in terms of setting everything up, but the timer interrupt only seems to fire once and that's it. If anyone wants to help they'd be more than welcome but for the moment we're scratching our heads as to what the problem may be.
For NuttX features please checkout
http://nuttx.sourceforge.net/. In brief:
- C microkernel
- Preemptable
- (Some) Posix compatibility
- BSD License
- In-memory file system
- Character devices and block drivers
- FAT 12/16/32 support
- Networking
- BSD socket layer
- Bash-like shell.
thanks,
Biff.