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 <[email protected]> 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 <[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]
