Dear all, I understood from the CodeZero documentation that the microkernel supports multiple OS running at the same time. In the toolkit release there are not any sources for building a kernel (neither linux nor android), but during the building procedure of any example, a kernel.elf file is included in the file.elf file. Is it correct?
Should be possible using this binary kernel.elf file generate/simulate in some way a couple of distinct OS environments running at the same time on top of the CodeZero microkernel? If it could be possible, please which could be the steps to reach the goal? Thanks a lot, Fabio _______________________________________________ codezero-devel mailing list codezero-devel@lists.l4dev.org http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org