LesleyAre you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
HabrFlutter, 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 планирует выпустить премиальный ноутбук...
Demi Marie ObenourI really wish #seL4 was used in the open source space.
0xD0EFA6I 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!
Chris Hanson
aaronWhat 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
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
GenodeVideos from seL4 Summit 2025 are online.
Alexander Böttcher presented #SculptOS - A Dynamic General-Purpose OS Powered by #Genode on #seL4
Martin Děcký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 is based on amazing ideas, but I have yet to see an ecosystem built around it.