Our latest distributed database uses a mono kernel too. We use Pure64[0] to boot the system and then the "kernel" is derived from QK[1], but it's also just our

Our latest distributed database uses a mono kernel too. We use Pure64[0] to boot the system and then the "kernel" is derived from QK[1], but it's also just our database software. Other than reducing complexity, our distributed database use the virtual memory hardware in a unique way, so a mono kernel was essential. Having said that, the easiest way to develop such a system is not on the bare metal, it's by running Linux in such a way that in only uses the first 1 or 2 cores, and then running your "custom kernel" on any other cores in the system. Then you can use a normal debugger and utilities during development. It's only when you actually want to put it into production that you can consider not using Linux at all. [0] https://github.com/ReturnInfinity/Pure64 https://github.com/ReturnInfinity/Pure64 [1] http://www.state-machine.com/qpcpp/struct.html#comp_qk http://www.state-machine.com/qpcpp/struct.html#comp_qk