It would have to be as efficient as Linux as the big plus with ChromeOS is the ability to have a peppy computer on minimal hardware. I am not convinced a micro

It would have to be as efficient as Linux as the big plus with ChromeOS is the ability to have a peppy computer on minimal hardware. I am not convinced a micro kernel would be able to achieve.