Has anyone experimented with running seL4 on Tegra SoCs? I’m interested mainly
because I own a Nintendo Switch console that is vulnerable to an exploit in the
boot rom that allows for booting arbitrary payloads. Most people use it to run
modified versions of the official firmware, or to run Linux or Android, so the
hardware is at least decently well reverse engineered at this point, and there
are even proper Linux drivers for the joy-con detachable controllers. I’m
interested in attempting to run seL4 on this device, mostly to see if I can,
but I figured I’d ask here first to see if anyone’s attempted similar hardware.
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
