Lee Malek
unread,Feb 24, 2015, 8:01:43 AM2/24/15Sign in to reply to author
Sign in to forward
You do not have permission to delete messages in this group
Sign in to report message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to min...@googlegroups.com
I'm a big fan of qubes os, which runs on Xen, with Fedora 20 in dom0.
Also, sel4 has caught my eye.
So, I am curious what it would take to port the qubes os system to minix but also switch minix to the sel4 kernel.
Could someone give me an estimate in man hours or in $?
This really would be the ultimate security OS.
If I had the programming skills I would go at it alone, but I am very much a noob.