10-18-2023, 05:21 AM
Thanks for sharing the pointers to the discussion.
For the record, the PinePhone version of Sculpt OS uses the code of Megous' Linux kernel for several driver components (each running as a user-space program on Genode) such as camera, display, touchscreen, USB, Wifi, GPU, SD-card. We noticed the (presumably) temporary unavailability of the repository and mirrored the kernel source as an interim fix.
For the record, the PinePhone version of Sculpt OS uses the code of Megous' Linux kernel for several driver components (each running as a user-space program on Genode) such as camera, display, touchscreen, USB, Wifi, GPU, SD-card. We noticed the (presumably) temporary unavailability of the repository and mirrored the kernel source as an interim fix.