Hello! I recently received a PinePhone for my birthday, and it finally arrived a few weeks
later. It’s been fun to tinker with so far, although I haven’t yet replaced the Linux
distro it came with yet, which I plan to do soon.
But thinking about my options for that made me wonder, has anyone attempted to run seL4,
even just a test program, on one of these before? It’s an aarch64 device using a quad-core
Allwinner A64 SOC, so four Cortex CPU cores and an Arm Mali GPU.
I don’t have any experience bringing up an OS in new hardware. It runs Linux fine, and
while the included software setup is a bit sluggish, I’m pretty sure that’s just from
Plasma mobile being very resource hungry.
So, I’m curious, has anyone experimented with this in the past? I think this platform
could be very useful, personally I’m hoping that as hobbyist type phones like this become
more mature, that people will have more choices for software to run on it.