[Announcement] Karma VMM first public release

Julian Stecklina jsteckli at os.inf.tu-dresden.de
Mon May 14 23:20:43 CEST 2012

On Mon, 2012-05-14 at 17:59 -0300, John van V. wrote: 
> Why not just let go of the linux and run posix w/ gcc?  And make a
> windows-friendly driver conversion kit?

Can you elaborate on that?


More information about the l4-hackers mailing list