Pine64 PinePhone with seL4: any prior attempts?
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.
Hello Isaac, I haven't gotten anything to work on the PinePhone. However, I'd just like to note that the recently announced PinePhone Pro uses a variant of the RK3399 SoC, which is the same SoC used in the RockPro64 board, which seL4 has a target for. This is the same SoC used in the PineBook Pro, which I was successfully able to run sel4test on using the RockPro64 platform configuration. - JB
"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 -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW
participants (3)
-
Isaac Beckett -
Jimmy Brush -
Peter Chubb