Hi, I would like some information on Viengoos resource management. Is Viengoos written from scratch over L4 or any existing L4 implementations have been re-used?
There is L4/Fiasco (GPL) that has L4Env + DDEKit + DDELinux2.6 to run device drivers in user-space. http://wiki.tudos.org/DDE/DDEKit Is there any other reason other than non-secure IPC in L4 that prompted to write Viengoos? Appreciate any inputs, Thanks! SK -- Shakthi Kannan http://www.shakthimaan.com
