On Thu, Jul 16, 2015 at 7:22 AM, Qing Wei <[email protected]> wrote: > Hi, > I am a beginner to seL4 as well as microkernel, and very interested > in it. I think it is great in terms of its minimality and formally > verified security. However, I have some questions about it, > (1) How is its performance compared to other monolithic kernel, > say, Linux. Could it make use of multicore, multiprocessor to > enjoy the performance scalability? I do not think sel4 support multicore completely
> (2) How is its ecosystem, fox example, how to support new hardware, > does it need write the driver from scratch or could it make use of > Linux driver? And how to write application on it, or, could it run > Linux application without modification? > (3) How is its virtualization support, could it run Linux vm, and > does it need any modification to the guest os? > > Cheers, > Qing Wei > _______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
