A paper on optimizing the IPC fastpath in seL4.

https://ts.data61.csiro.au/publications/nicta_full_text/5858.pdf

#paper #osdev #microkernel #system #programming

A simple and well-documented microkernel operating system released under public domain.

https://resea.org/

#osdev #system #programming #c #microkernel #cc0 #lowlevel

On December 2, I will be speaking at the KasperskyOS Night online technical conference, where I will tell the story of finding a non-trivial bug in our hypervisor.

The entire conference is dedicated to our microkernel operating system, KasperskyOS. There will be both kinds of reports: with dry theory and stories from our daily practice.

Join if you are interested in OS development, DSL (domain specific languages) or information security. Participation is absolutely free, just register.

The conference lasts two days, December 1 — 2. The main language of the conference is Russian.

https://os.kaspersky.ru/night/

#conference #osdev #microkernel #system #programming #c #haskell #dsl #kasperskyos #infosec

Brutal is a fast-growing hobbyist microkernel operating system project.

The design resembles third-generation microkernels: all resources in the system are represented in a generalized form by objects. Access to objects is possible through locally unique handles, which can be transferred between tasks via IPC.

The project has gone through three major milestones. The authors have already implemented their UEFI bootloader, SMP-compatible microkernel, interface description language, PCIe and ACPI services, and interrupt routing to userspace.

Next in line is work on a block layer, a network stack, and own compiler for a C-like programming language.

Apparently, the same community is working on the Brutal project as on SkiftOS.

#osdev #system #programming #lowlevel #microkernel