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.
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 isaactbeckett@gmail.com 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
Thanks! Will have to try tinkering with it later. Most people use a custom boot loader named Hekate for running things on the Switch, so I’ll either use that directly or chainload U-boot
On Dec 11, 2021, at 1:28 AM, Ihor Kuz ihor.kuz@ikuz.org wrote:
We've had seL4 running on Tegra K1, X1, X2 (see 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 isaactbeckett@gmail.com 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 -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
-
Ihor Kuz -
Isaac Beckett