We've had seL4 running on Tegra K1, X1, X2 (see https://docs.sel4.systems/Hardware/ <https://docs.sel4.systems/Hardware/>).
I'd be curious to know how it goes to run it on the Switch. Ihor. > On 11 Dec 2021, at 16:29, Isaac Beckett <[email protected]> wrote: > > 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] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
