Comment Comment by R0b0t1 >boot directly to seL4 from ROM as their firmware.That's not a bad idea, but it just means you'd need to exploit dom0 or equivalent. parent R0b0t1 6 years ago
That's not a bad idea, but it just means you'd need to exploit dom0 or equivalent.