/l/osdev | laarc

laarc

1.		John Nagle on Tricks QNX Uses to Outperform Other Microkernels (news.ycombinator.com)
		6 points by nickpsecurity to osdev optimization microkernels qnx hn 11 days ago \| 1 comment
2.		High-Assurance, Separation Kernels: A Survey on Formal Methods (arxiv.org)
		2 points by nickpsecurity to security realengineering osdev pdf 15 days ago \| discuss
3.		Trusted Xenix 4.0 Evaluation Report (1994) (PostScript) (indiana.edu)
		by nickpsecurity to osdev security historical 15 days ago \| 1 comment
4.		System calls table for several architectures (juszkiewicz.com.pl)
		3 points by rain1 to lowlevel osdev programming assembly 20 days ago \| 1 comment
5.		Advanced Paging \| Writing an OS in Rust (phil-opp.com)
		4 points by rain1 to osdev 23 days ago \| discuss
6.		A Little Filesystem that Keeps Your Bits on Lock (hackaday.com)
		3 points by rain1 to embedded microcontroller osdev programming 26 days ago \| 1 comment
7.		Zkeme80: Forth-based OS for TI-84+ Calculator (github.com)
		2 points by nickpsecurity to programming osdev 32 days ago \| discuss
8.		Microkernels - The component-based operating systems (microkernel.info)
		4 points by rain1 to software osdev 43 days ago \| discuss
9.		TempleOS: "a modern x86-64 Commodore 64" (wikipedia.org)
		2 points by shawn to dev osdev templeos historical 70 days ago \| discuss