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

Reply via email to