#microkernel — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #microkernel, 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 #операционные_системы #производительность
-
IMHO #linux bisa seperti saat ini bukan karena diawali ingin menjadi sesuatu yang ideal tetapi justru karena pragmatisme.
Pd saat itu desain #microkernel #minix yg tdk monolithic dianggap sebagai mimpi indah idealisme sebuah #kernel. Tetapi Torvalds dan yang lain melihat banyak hal sangat ribet untuk diimpelmentasikan menggunakan desain microkernel, sehingga mereka memilih pragmatis.
Hingga lahir dan terus berkembanglah linux yang tidak ideal tapi bisa berevolusi menjadi seperti sekarang.
-
Nova Operating System – a project web server. Nova (Nova is a recursive acronym for “Nova Offers Virtually no Applications”) is the effort to create a POSIX-like system on top of the rtmk (Real-Time Microkernel) microkernel. https://archiveos.org/nova-os/ #operatingsystem #microkernel
-
QCon London 2026: Fixing the AI Infra Scale Problem by Stuffing 1M Sandboxes in a Single Server
At QCon London 2026, Felipe Huici, CEO and co-founder of Unikraft, stood before an audience and woke up…
#NewsBeep #News #Technology #AI #Architecture&Design #Artificialintelligence #CA #Canada #Development #DevOps #microkernel #ML&DataEngineering #QConLondon2026 #qconmillionsandboxesserver #VirtualMachines
https://www.newsbeep.com/ca/555157/ -
Es gracioso, resulta que #Nintendo lleva utilizando desde la #3DS un #microkernel en sus consolas.
-
Introducing Xous: the world's most exciting #microkernel for #embedding your #dreams into “medium” devices! 🤖✨ Dive into #userspace #messaging wonders, because, who needs a simple, straightforward OS anyway? 📚🧐 Funded by Europe's finest to revolutionize the way we...well, forget it ever existed. 😂💰
https://xous.dev/ #Xous #tech #revolution #HackerNews #ngated -
Introducing Xous: the world's most exciting #microkernel for #embedding your #dreams into “medium” devices! 🤖✨ Dive into #userspace #messaging wonders, because, who needs a simple, straightforward OS anyway? 📚🧐 Funded by Europe's finest to revolutionize the way we...well, forget it ever existed. 😂💰
https://xous.dev/ #Xous #tech #revolution #HackerNews #ngated -
Introducing Xous: the world's most exciting #microkernel for #embedding your #dreams into “medium” devices! 🤖✨ Dive into #userspace #messaging wonders, because, who needs a simple, straightforward OS anyway? 📚🧐 Funded by Europe's finest to revolutionize the way we...well, forget it ever existed. 😂💰
https://xous.dev/ #Xous #tech #revolution #HackerNews #ngated -
Introducing Xous: the world's most exciting #microkernel for #embedding your #dreams into “medium” devices! 🤖✨ Dive into #userspace #messaging wonders, because, who needs a simple, straightforward OS anyway? 📚🧐 Funded by Europe's finest to revolutionize the way we...well, forget it ever existed. 😂💰
https://xous.dev/ #Xous #tech #revolution #HackerNews #ngated -
Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25 -
Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25 -
Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25 -
Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25 -
Just presented at #39C3: Xous by Bunnie Huang & Sean Cross. A pure-Rust microkernel on RISC-V with a real MMU, strong isolation, and quasi-open silicon. Finally a usable embedded security stack, from hardware to OS.
#Rust #RiscV #EmbeddedSecurity #OpenHardware #IoT #Microkernel https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system#t=25 -
🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
｢ LionsOS, an operating system for security- and safety-critical embedded systems. LionsOS is based on the formally verified seL4 microkernel and designed with verification in mind. It uses a static architecture and features a highly modular design driven by strict separation of concerns and a focus on simplicity ｣
-
Resilience, fault tolerance, scalability—every style, from layered to #Microkernel, balances performance, agility & maintainability differently. Mahendra Rao Bandaru maps the trade-offs shaping the software we rely on.
Read: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/ -
The latest pre-release of HarmonyOS NEXT (based on the HongMeng Microkernel) running on Huawei Mate 60 Pro (hardware originally released in 2023). Sorry for the pointless demo, it was during a social event and I didn't want to play alone with a phone in the corner 😅️ #microkernel #smartphone #harmonyos
-
Call for Participation: Microkernel and Component-Based OS Devroom at FOSDEM 2026
https://fosdem.microkernel.info/
#microkernel #fosdem -
HarmonyOS NEXT (a microkernel-based OS) running on a Huawei's laptop and smartphone. The user experience is absolutely flawless. #microkernel #desktop #smartphone
-
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! -
Monolith, pipeline, #Microkernel—each comes with benefits and risks. Mahendra Rao Bandaru details real-world uses from JIRA to Chrome, and where each pattern delivers best. Read now: https://javapro.io/2025/08/14/demystifying-software-architecture-styles-patterns-part-1/
#SoftwareEngineering #ArchitecturePatterns #JIRA #DevOps @atlassian
-
🐢🎩 Look! ETH Zürich's team of digital wizards just unearthed another mystical attack, VMScape! 💥 But wait—Xen's #microkernel struts around untouched, laughing at its fallen peers KVM and VMware. 🕵️♂️ Apparently, the new recipe for security involves adding a sprinkle of "microkernel" and a dash of "not giving a damn." 🤷♂️
https://virtualize.sh/blog/vmscape-and-why-xen-dodged-it/ #ETHZürich #VMScape #cybersecurity #Xen #HackerNews #ngated -
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
-
Next time somebody tells you that that microkernels are useless, impractical and/or have poor performance, let them read this:
"We have deployed HM on tens of millions of devices, including smart routers, smart vehicles, and smartphones, which provides not only better security and reliability but also better performance than their Linux counterparts." [1]
[1] Haibo Chen et al.: Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel, in the Proceedings of the 18th USENIX Symposium on Operating Systems Design and Implementation,
https://www.usenix.org/system/files/osdi24-chen-haibo.pdf
#microkernel #osdi #osdi24 -
At last a full-fledged microkernel paper at a major OS conference again: "Microkernel Goes General: Performance and Compatibility in the HongMeng Production Microkernel" at OSDI'24. Co-authored by many of my former colleagues from Huawei OS Kernel Lab (Haibo Chen, Hui Wang et al.). Congratulations and really looking forward to reading the full text! #microkernel #osdi #os #hongmeng https://www.usenix.org/conference/osdi24/presentation/chen-haibo
-
OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.
Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86
-
MINIX: History, Architecture, and Comparisons with GNU/Linux
MINIX is a Unix-like operating system that holds a unique place in the history of operating systems, especially for its role in shaping the development of modern open-source operating systems like Linux. Created by computer science professor Andrew S. Tanenbaum in the mid-1980s.
Read More: https://machaddr.substack.com/p/minix-history-architecture-and-comparisons
#MINIX #Linux #OS #operating #Systems #OpenSource #Technology #Computer #Science #MicroKernel #Monolithic
-
Reading the ambitious roadmap of #GrapheneOS, I get the impression that this might become the most secure and #privacy-respecting platform that also overlaps with many classic desktop use-cases and desktop OS. 🤔
https://grapheneos.org/faq#roadmap
#Android #Linux #kernel #microkernel #virtualization #isolation #hypervisor #sandboxing #gVisor #KVM #TEE #security
-
The SeL4 Microkernel: An Introduction [pdf]
https://sel4.systems/About/seL4-whitepaper.pdf
#HackerNews #SeL4 #Microkernel #Introduction #seL4 #Whitepaper #Microkernel #Architecture #System #Security
-
also found this for #sel4 #microkernel. i havent watched beyond the first lecture yet though, as i keep discovering so many more new concepts. i barely knew "object capabilites" (aka #ocap i think) before this. i thought pausing this and going back to the other series would be worth it.
https://www.youtube.com/playlist?list=PLtoQeavghzr3nlXyJEXaTLU9Ca0DXWMnt -
Oh wow, I wasn't aware that #seL4 Foundation has uploaded the lectures of #UNSW's famous Advanced Operating Systems course to youtube.
https://www.youtube.com/watch?v=IvqM2pmApSY&list=PLtoQeavghzr3nlXyJEXaTLU9Ca0DXWMnt
#os #microkernel #operatingsystems -
In the first of our #EverythingOpen schedule highlights, we're delighted to present #UNSW Scientia Professor @gernot who will present on efforts to take #sel4 from a #MicroKernel to fully-fledged #OS
with #LionsOS, named for open source luminary, John Lions.Schedule will be posted soon, we promise!
Heavily discounted #EarlyBird #EB tickets still available, for a short time only:
https://2024.everythingopen.au/news/registrations-open/ -
#Pancake: a new, verified Pascal-like #pl emphasizing formal verification over type safety for low-level systems programming, device drivers in particular.
"Pancake eschews complex type systems to make the language attractive to systems programmers, while at the same time aiming to ease the formal verification of code. We describe the design of the language and its verified compiler, and examine its usability, performance and current limitations through case studies of device drivers and related systems components for an #seL4-based #os."
https://trustworthy.systems/publications/papers/Pohjola_STWSNUMSMNH_23.pdf
#formalmethods #microkernel