Re: [codezero-devel] Multiple kernel usage

2012-05-10 Thread Amit Mahajan
On Thu, 2012-05-10 at 21:33 +, Fabio Radin wrote: > 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

[codezero-devel] Multiple kernel usage

2012-05-10 Thread Fabio Radin
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 incl