On Thu, 2012-05-10 at 21:33 +0000, 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 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?

Hi Fabio,

Yes, it is very much possible to do the same. We already have examples
of multiple androids, multiple linux, running together over codezero.

Ideally, it works like:

1. Each virtual OS is compiled to form some elf binaries like cont0.elf,
cont1.elf etc.

2. Codezero microkernel/hypervisor source code compiles into kernel.elf
binary.

3. All the above elf files(along with a small loader) are merged into
final.elf binary, which is loaded and run finally.

4. At run time, loader code starts which unpacks and loads various
virtual OS and hypervisor.

-- 
Thanks,
Amit Mahajan


_______________________________________________
codezero-devel mailing list
codezero-devel@lists.l4dev.org
http://lists.l4dev.org/mailman/listinfo/codezero-devel_lists.l4dev.org

Reply via email to