[seL4] Re: Pine64 PinePhone with seL4: any prior attempts?

...

...

...

...

"Isaac" == Isaac Beckett writes:

Isaac> Hello! I recently received a PinePhone for my birthday, and it Isaac> finally arrived a few weeks later. It’s been fun to tinker with Isaac> so far, although I haven’t yet replaced the Linux distro it Isaac> came with yet, which I plan to do soon. But thinking about my Isaac> options for that made me wonder, has anyone attempted to run Isaac> seL4, even just a test program, on one of these before? It’s an Isaac> aarch64 device using a quad-core Allwinner A64 SOC, so four Isaac> Cortex CPU cores and an Arm Mali GPU. Not the pinephone as such, but had seL4test running on the Pine A64 SBC at one point. That's the same SoC I believe. I never got most of the peripherals working though; nor did I manage to get a VMM up to run a Linux payload. For a working phone, you'd need to have something for userspace: a basic Linux system and the utilities for making/receiving calls and SMS at the very least. Peter C -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW