Atur cara mengikut pcanel.sf.net

Projek ini melaksanakan OS berasaskan komponen berbilang kernel, yang dipanggil Pcanel. Ia terdiri daripada lima kernel heterogen dan boleh menjamin keterlaluan, kebarangkalian, keselamatan, masa nyata dan general-ness.