"Isaac" == Isaac Beckett isaactbeckett@gmail.com 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