>>>> "Isaac" == Isaac Beckett
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.
Dr Peter Chubb https://trustworthy.systems/
Trustworthy Systems Group CSE, UNSW