laarctags | new | comments | ask | show | place | submit | /l/osdevlogin
1.
Bootstrappable builds [LWN.net] (lwn.net)
2 points by rain1 to programming linux osdev on Jan 6, 2021 | discuss
2.
John Nagle on Tricks QNX Uses to Outperform Other Microkernels (news.ycombinator.com)
6 points by nickpsecurity to osdev optimization microkernels qnx hn on Feb 9, 2019 | 1 comment
3.
Scheme.fail: the loko baremetal scheme (scheme.fail)
3 points by rain1 to programming osdev scheme lisp on Sept 1, 2019 | discuss
4.
Distri: a Linux distribution to research fast package management (stapelberg.ch)
3 points by rain1 to linux operating.system osdev on Aug 18, 2019 | discuss
5.
Advanced Paging | Writing an OS in Rust (phil-opp.com)
4 points by rain1 to osdev on Jan 28, 2019 | discuss
6.
Microkernels - The component-based operating systems (microkernel.info)
4 points by rain1 to software osdev on Jan 8, 2019 | discuss
7.
IBM iSeries (AS/400) Architecture (fu-berlin.de)
3 points by nickpsecurity to pdf slides osdev on March 27, 2019 | 1 comment
8.
System calls table for several architectures (juszkiewicz.com.pl)
3 points by rain1 to lowlevel osdev programming assembly on Jan 31, 2019 | 1 comment
9.
A Little Filesystem that Keeps Your Bits on Lock (hackaday.com)
3 points by rain1 to embedded microcontroller osdev programming on Jan 25, 2019 | 1 comment
10.
Paging Implementation (Advanced Paging, rewrite) | Writing an OS in Rust (phil-opp.com)
2 points by rain1 to rust osdev tutorial on March 14, 2019 | discuss
11.
High-Assurance, Separation Kernels: A Survey on Formal Methods (arxiv.org)
2 points by nickpsecurity to security realengineering osdev pdf on Feb 5, 2019 | discuss
12.
Zkeme80: Forth-based OS for TI-84+ Calculator (github.com)
2 points by nickpsecurity to programming osdev on Jan 20, 2019 | discuss
13.
TempleOS: "a modern x86-64 Commodore 64" (wikipedia.org)
2 points by shawn to dev osdev templeos historical on Dec 13, 2018 | discuss
14.
Lightweight Contexts: An OS Abstraction for Safety and Performance (mpi-sws.org)
by nickpsecurity to osdev security optimization programming freebsd on Feb 27, 2019 | 1 comment
15.
Trusted Xenix 4.0 Evaluation Report (1994) (PostScript) (indiana.edu)
by nickpsecurity to osdev security historical on Feb 5, 2019 | 1 comment

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

RSS (stories) | RSS (comments)

Search: