I mean to build and boot an exokernel like XOK and test it (just like the benchmarks that PDOS made with some Web Servers).
To be honest I could use some help on building and booting XOK or any other exokernel operating system...

Or just anything you can find?Which exokernel should I install just for testing???
XOK or another...???
Any suggestions???