3 Nov
2021
3 Nov
'21
4:21 a.m.
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.
3 Nov
3 Nov
7:33 a.m.
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
8:48 a.m.
>>>> "Isaac" == Isaac Beckett
<isaactbeckett(a)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
245
days inactive
245
days old
2 comments
3 participants
participants (3)
-
Isaac Beckett -
Jimmy Brush -
Peter Chubb