Writing Helios drivers in the Mercury driver environment
A guide to writing device drivers for the Helios microkernel using the Mercury driver environment, focusing on capability-based security.
A guide to writing device drivers for the Helios microkernel using the Mercury driver environment, focusing on capability-based security.
A developer's October 2022 status update detailing progress on the Helios kernel, including scheduler improvements, userspace API redesign, and threading features.
Developer's monthly update on Hare language projects, including a GameBoy emulator, TLS implementation, and progress on the Helios OS.