#genode — Public Fediverse posts

Videos from seL4 Summit 2025 are online.

Alexander Böttcher presented #SculptOS - A Dynamic General-Purpose OS Powered by #Genode on #seL4

https://youtu.be/N624i4X1UDw?si=0wU5shqCeVvggy2p

Today is Students Day on #ew25! Visit our booth to experience #Genode live on the Framework notebook, the PinePhone, and MNT Reform devices.

P.S. We still have piles of Genode stickers and delicious microkernels.

Today is Students Day on #ew25! Visit our booth to experience #Genode live on the Framework notebook, the PinePhone, and MNT Reform devices.

P.S. We still have piles of Genode stickers and delicious microkernels.

Today is Students Day on #ew25! Visit our booth to experience #Genode live on the Framework notebook, the PinePhone, and MNT Reform devices.

P.S. We still have piles of Genode stickers and delicious microkernels.

Today is Students Day on #ew25! Visit our booth to experience #Genode live on the Framework notebook, the PinePhone, and MNT Reform devices.

P.S. We still have piles of Genode stickers and delicious microkernels.

Today is Students Day on #ew25! Visit our booth to experience #Genode live on the Framework notebook, the PinePhone, and MNT Reform devices.

P.S. We still have piles of Genode stickers and delicious microkernels.

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

We're warming up for day 2 on #ew25. Looking forward to talk about #Genode, #microkernel OSes, and open hardware from @mntmn

Johannes Schlatow is taking control over DMA transactions on AMD/Xilinx #Zynq with #Genode

https://www.hackster.io/johannes-schlatow/taking-control-over-dma-transactions-on-zynq-with-genode-fd60b6

Johannes Schlatow is taking control over DMA transactions on AMD/Xilinx #Zynq with #Genode

https://www.hackster.io/johannes-schlatow/taking-control-over-dma-transactions-on-zynq-with-genode-fd60b6

Johannes Schlatow is taking control over DMA transactions on AMD/Xilinx #Zynq with #Genode

https://www.hackster.io/johannes-schlatow/taking-control-over-dma-transactions-on-zynq-with-genode-fd60b6

Genode 23.02 provides first system image of mobile Sculpt OS for #PinePhone ⭑ interactive graphical VMs on ARM ⭑ optimized GPU and VFS performance ⭑ on-target system-update and rollback mechanism ⭑ support for Intel P&E cores and suspend/resume on x86 ⭑ custom IP block for DMA protection on AMD/Xilinx #Zynq

#genode #sculptos

https://genode.org/documentation/release-notes/23.02

Genode 23.02 provides first system image of mobile Sculpt OS for #PinePhone ⭑ interactive graphical VMs on ARM ⭑ optimized GPU and VFS performance ⭑ on-target system-update and rollback mechanism ⭑ support for Intel P&E cores and suspend/resume on x86 ⭑ custom IP block for DMA protection on AMD/Xilinx #Zynq

#genode #sculptos

https://genode.org/documentation/release-notes/23.02

Genode 23.02 provides first system image of mobile Sculpt OS for #PinePhone ⭑ interactive graphical VMs on ARM ⭑ optimized GPU and VFS performance ⭑ on-target system-update and rollback mechanism ⭑ support for Intel P&E cores and suspend/resume on x86 ⭑ custom IP block for DMA protection on AMD/Xilinx #Zynq

#genode #sculptos

https://genode.org/documentation/release-notes/23.02

Genode 23.02 provides first system image of mobile Sculpt OS for #PinePhone ⭑ interactive graphical VMs on ARM ⭑ optimized GPU and VFS performance ⭑ on-target system-update and rollback mechanism ⭑ support for Intel P&E cores and suspend/resume on x86 ⭑ custom IP block for DMA protection on AMD/Xilinx #Zynq

#genode #sculptos

https://genode.org/documentation/release-notes/23.02

Highlights of #Genode 22.11: Hardware-software co-design with @XilinxInc #Zynq ⭑ Intel Gen12/Iris Xe support ⭑ Low-level support for suspend/resume on PC hardware ⭑ Unified device-driver infrastructure ⭑ Forthcoming #sculptos variant for the PinePhone

https://genode.org/documentation/release-notes/22.11