PiOS kernel
This is an x86 kernel currently being developed by Cris Pintea.
Feel free to use it however you like if it comes in handy, respecting the license.
Development Environment
Build Tools
- i386-elf gcc and binutils (This one works great)
- nasm
- GNU Make
- bash
- your favourite IDE
Emulation
- Any x86 emulator (VirtualBox, Bochs)
Debugging
- Bochs is very handy