laarcnew | comments | discord | tags | ask | show | place | submit | /l/osdevlogin
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

Welcome | Guidelines | Bookmarklet | Feature Requests | Source | Contact | Twitter | Lists

/l/osdev RSS

Chat (matrix) | Chat (discord)

Search: