#sel4 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #sel4, aggregated by home.social.
-
[Перевод] Введениев в микроядро Sel4
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.
https://habr.com/ru/articles/1036890/
#sel4 #микроядро #microkernel #верификация #secure #realtime #безопасность #capability #операционные_системы #производительность
-
[Перевод] Введениев в микроядро Sel4
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.
https://habr.com/ru/articles/1036890/
#sel4 #микроядро #microkernel #верификация #secure #realtime #безопасность #capability #операционные_системы #производительность
-
[Перевод] Введениев в микроядро Sel4
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.
https://habr.com/ru/articles/1036890/
#sel4 #микроядро #microkernel #верификация #secure #realtime #безопасность #capability #операционные_системы #производительность
-
[Перевод] Введениев в микроядро Sel4
Предлагаю вашему вниманию перевод seL4 Whitepaper, который является хорошим введением в одно из самых известных микроядер для ОС — seL4 (лицензия GPLv2). Здесь не только специфика seL4 и микроядер, но и много полезного материала в целом по безопасности, формальной верификации, виртуализации и системам жёсткого реального времени.
https://habr.com/ru/articles/1036890/
#sel4 #микроядро #microkernel #верификация #secure #realtime #безопасность #capability #операционные_системы #производительность
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
Are you doing something interesting with #sel4? The call for presentations is now out for the #sel4summit 2026 in Vancouver!
-
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 планирует выпустить премиальный ноутбук под брендом 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 планирует выпустить премиальный ноутбук под брендом 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 планирует выпустить премиальный ноутбук под брендом 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
-
I really wish #seL4 was used in the open source space.
-
I really wish #seL4 was used in the open source space.
-
I really wish #seL4 was used in the open source space.
-
I really wish #seL4 was used in the open source space.
-
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.
-
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.
-
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.
-
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.
-
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! -
im gonna experiment with seL4 :3
might even try to write some Rust code for it! -
im gonna experiment with seL4 :3
might even try to write some Rust code for it! -
im gonna experiment with seL4 :3
might even try to write some Rust code for it! -
im gonna experiment with seL4 :3
might even try to write some Rust code for it! -
Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
-
Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
-
Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
-
Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
-
Has anyone ported seL4 to RP2350 yet? #seL4 #rp2350 #embeddedsystems
-
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
-
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
-
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
-
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
-
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.
-
#seL4 is based on amazing ideas, but I have yet to see an ecosystem built around it.
-
#seL4 is based on amazing ideas, but I have yet to see an ecosystem built around it.
-
#seL4 is based on amazing ideas, but I have yet to see an ecosystem built around it.
-
#seL4 is based on amazing ideas, but I have yet to see an ecosystem built around it.
-
The SeL4 Microkernel: An Introduction [pdf]
https://sel4.systems/About/seL4-whitepaper.pdf
#HackerNews #SeL4 #Microkernel #Introduction #seL4 #Whitepaper #Microkernel #Architecture #System #Security
-
The SeL4 Microkernel: An Introduction [pdf]
https://sel4.systems/About/seL4-whitepaper.pdf
#HackerNews #SeL4 #Microkernel #Introduction #seL4 #Whitepaper #Microkernel #Architecture #System #Security
