“Ironclad is a formally verified, real-time capable, UNIX-like operating system kernel for general-purpose and embedded uses. It is written in SPARK and Ada, and is comprised of 100% free software.” GPLv3! #formal-methods include #GNATProve. #operating-systems
on 02025-11-11#PDF #paper by Per Brinch Hansen about #operating-systems for the Regnecentralen RC 4000 #toread
on 02025-11-11#Arduino (#AVR) preemptive multithreading operating system. Looks abandoned 8 years ago. #operating-systems
on 02025-08-23Brad Rodriguez explains how multitasking works in #Forth. #operating-systems
on 02025-05-28#tonyg has written #Synit, a reactive OS with #object-capability discipline, but using the Linux kernel, built on the language he developed for his dissertation, Syndicate. #operating-systems
on 02023-07-15Henry Levy’s #object-capability #operating-systems #ebook
on 02023-07-13“#L4 #microkernels: The lessons from 20 years of research and deployment” 2016 #paper on #kernels #operating-systems #toread
on 02016-10-10