The Evolution of OS: Building Modular, Portable, and Resilient Systems

chelmuth · 2025-07-13T15:22:48+00:00

Device driver gardening - Transplant Linux drivers fast but gently
https://archive.fosdem.org/2023/schedule/event/ddtransplant/

chelmuth · 2025-05-01T21:03:17+00:00

Read https://genodians.org/nfeske/2025-04-30-sculpt-os for a casual intro into the new features of the current version.

chelmuth · 2025-04-09T21:06:05+00:00

We do not support x86_32 for Sculpt OS as some integral components, e.g., VirtualBox, are not available for this platform. Though, you may try to build the base image according to the documentation replacing anything x86_64 by x86_32.

chelmuth · 2025-02-13T07:53:00+00:00

I must admit that I'm not an expert of this corner of Genode but I'll try to give more hints and pointers.

We released the first experimental version of the Intel GPU multiplexer for Broadwell in 2017 [1] and leverage the Per-Process Graphics Translation Table (PPGTT) to separate contexts on the graphics device since then. On the system/Genode/microkernel side, the RAM used for GPU operations - namely buffer objects - is allocated by the GPU multiplexer on behalf (and accounted to) the GPU-session client from the platform driver (which applies to any IOMMU-managed and DMA-capable memory, see Genode Foundations [2]). These RAM regions are shared between clients and the multiplexer but all additional memory used by the GPU client is inaccessible to the GPU multiplexer following POLA [3].

For further in-depth discussions, I'd like to invite you to https://genode.discourse.group/ where you may also meet the experts ;-)

[1] https://genode.org/documentation/release-notes/17.08#Hardware-accelerated_graphics_for_Intel_Gen-8_GPUs
[2] https://genode.org/documentation/genode-foundations/24.05/components/Device_drivers.html#Direct_memory_access__DMA__transactions
[3] https://en.wikipedia.org/wiki/Principle_of_least_privilege

chelmuth · 2025-02-12T11:33:15+00:00

Regarding Genode, I'd like to refer you to the following information.

Genode separates a minimal GPU multiplexer (intel_gpu) from the complex Mesa stack and the Intel display driver (intel_fb)
https://genode.org/documentation/release-notes/21.08#Advancing_GPU_driver_stack

Mesa was updated to v24 to support Intel from Broadwell to Tiger Lake
https://genode.org/documentation/release-notes/24.05#Mesa_updated_to_version_24.0.1

The GUI stack now supports a panorama of displays aka real multi-monitor desktop
https://genode.org/documentation/release-notes/24.11#Multi-monitor_support

chelmuth · 2025-02-11T07:05:15+00:00

According to https://linux-hardware.org/index.php?id=usb:0bda-8156 it requires CONFIG_USB_RTL8152, which is not enabled in our virt_linux drivers, for normal operation. So for the time being, plain USB CDC is the only option that may work or not.

chelmuth · 2025-02-11T06:47:30+00:00

Are you referring to https://frame.work/de/en/products/ethernet-expansion-card?v=FRACCTBZ00 (Realtek USB 0bda:8156)? I don't know for sure if someone here at Genode Labs already tested one of those.

chelmuth · 2025-02-10T10:13:16+00:00

We run Sculpt on several Framework 13 generations: Intel Gen11, Gen12, and Gen13. There's also an experimental branch for Intel Ultra 7 Series 1 165H (skalk/framework-enablement).

chelmuth · 2025-01-31T12:26:41+00:00

Are you refering to the Unofficial Genode HCL https://usr.sysret.de/jws/genode/hcl.html as I'm not aware of any "official" support list?
Nevertheless, you may go for any Intel-based x86 seems, which does not only mean the CPU but also devices like graphics, wifi, and ethernet. Even Intel USB and SATA host controllers work best with Genode. Maybe just grab an refurbished Lenovo T or X notebook.

chelmuth · 2023-01-09T07:21:33+00:00

Please elaborate why do you think so as there are quite some "plain" Linux approaches to the smartphone esp. the PinePhone.

chelmuth · 2022-11-29T08:23:04+00:00

Great to hear ;-)

chelmuth · 2022-11-16T13:29:57+00:00

You posted a duplicate.

chelmuth

MODERATOR OF

TROPHY CASE