+- PINE64 (https://forum.pine64.org)
+-- Forum: PinePhone (https://forum.pine64.org/forumdisplay.php?fid=120)
+--- Forum: PinePhone Software (https://forum.pine64.org/forumdisplay.php?fid=121)
+--- Thread: Genode- Sculpt OS for the PinePhone (non Linux) (/showthread.php?tid=18828)
Genode- Sculpt OS for the PinePhone (non Linux) - Surehand53 - 10-31-2023
Since 2023 Genode publishes an early version of Sculpt OS for the PinePhone.
Here is the general page:
https://genode.org/download/sculpt
And here is goes to the download image:
https://depot.genode.org/genodelabs/image/
Genode is the framework and Sculpt OS is the OS implementation.
Features
* CPU architectures: x86 (32 and 64 bit), ARM (32 and 64 bit), RISC-V
* Kernels: most members of the L4 family (NOVA, seL4, Fiasco.OC, OKL4 v2.1, L4ka-Pistachio, L4/Fiasco), Linux, and a custom kernel.
* Virtualization: VirtualBox (on NOVA), a custom virtual machine monitor for ARM, and a custom runtime for Unix software
* Over 100 ready-to-use components
RE: Genode- Sculpt OS for the PinePhone (non Linux) - tllim - 11-04-2023
(10-31-2023, 04:18 AM)Surehand53 Wrote: Since 2023 Genode publishes an early version of Sculpt OS for the PinePhone.
Here is the general page:
https://genode.org/download/sculpt
And here is goes to the download image:
https://depot.genode.org/genodelabs/image/
Genode is the framework and Sculpt OS is the OS implementation.
Features
* CPU architectures: x86 (32 and 64 bit), ARM (32 and 64 bit), RISC-V
* Kernels: most members of the L4 family (NOVA, seL4, Fiasco.OC, OKL4 v2.1, L4ka-Pistachio, L4/Fiasco), Linux, and a custom kernel.
* Virtualization: VirtualBox (on NOVA), a custom virtual machine monitor for ARM, and a custom runtime for Unix software
* Over 100 ready-to-use components
Appreciate and thanks on the download link. Thumbs up!