Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!

https://sel4.systems/news/2026.html#01-23

seL4 News | seL4

Flutter, Fuchsia, Zircon, ChromeOS, Aluminium OS, WGPU, Tensor Modem, RIL, SeL4, FIDL будущее Андроида и других ОС №2

В конце 2025 года техноблоги взорвались инсайдами: Google планирует выпустить премиальный ноутбук под брендом Pixel. Но работать он будет не на ChromeOS, как привычные «Хромбуки», и не на Windows. Кодовое имя инициативы — Aluminium. Новость не обошла стороной и хабр. Суть проекта как обычно для Google проста и жестока: ChromeOS как отдельная операционная система должна умереть. Будущее — это Android, который научился быть десктопом. Но прежде чем говорить об Aluminium, нужно понять, почему Flutter стал критичным для всей стратегии Google. И здесь начинается история о том, как устаревший C API чуть не убил будущее кроссплатформенной разработки.

https://habr.com/ru/articles/984090/

#flutter #android_for_desktop #dart #chrome_os #aluminium_os #fuchsia #Tensor_Modem #RIL #SeL4 #FIDL

Flutter, Fuchsia, Zircon, ChromeOS, Aluminium OS, WGPU, Tensor Modem, RIL, SeL4, FIDL будущее Андроида и других ОС №2

ИИ картинка. Это более глубокое продолжение к этой статье и раскрытие вопросов в комментариях к ней. В конце 2025 года техноблоги взорвались инсайдами: Google планирует выпустить премиальный ноутбук...

Хабр
I really wish #seL4 was used in the open source space.
I think I'm going to take inspiration from #seL4's microkit system description for my #rust #microkernel I don't feel like implementing automatic device discovery, so defining drivers in a static file would be a good way to avoid that complexity. the only difference is, I think I'll use TOML instead of XML because I really, really hate XML.

im gonna experiment with seL4 :3
might even try to write some Rust code for it!

#sel4 #microkernel #rustlang #rust

Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
What a fantastic presentation and Demo from Alex Boettcher about SculptOS Powered by Genode on seL4 Kernel: youtube.com/watch?v=N624i4X1UD… (I recommend watching on FreeTube, Tubular or Pipepipe 😉)
Well done Alex and great work done by the whole @genode team! #genode #sculptos #sel4
Sculpt OS - A Dynamic General-Purpose OS Powered by Genode on seL4- Alexander Boettcher, Genode Labs

YouTube

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

The seL4 Summit takes place next week in Prague already. Whom am I going to meet there? https://events.linuxfoundation.org/sel4-summit/ #microkernel #os #conference #prague #sel4 #sel4summit
seL4 Summit | LF Events

The seL4 Summit is the annual international summit on the seL4 microkernel and seL4-related technology, tools, infrastructure, products, projects, and people.

LF Events
#seL4 is based on amazing ideas, but I have yet to see an ecosystem built around it.