osdev - Operating system design and development when no specific OS tag exists | Lobsters

Stories tagged as osdev – Operating system design and development when no specific OS tag exists

Tip: read stories across multiple tags with /t/tag1,tag2

17

seL4 on RISC-V Verified to Binary Code formalmethods osdev security microkerneldude.wordpress.com
via ethoh 43 hours ago | cached | 13 comments

13
6

pcmos386v501 osdev github.com
via ethoh 3 days ago | cached | no comments

0
9

Haiku activity report - March and April 2021 historical osdev haiku-os.org
via ethoh 4 days ago | cached | 2 comments

2
40

Sigil OS post-mortem report osdev portal.mozz.us
authored by emery 5 days ago | cached | 6 comments

6
20

PalmOS on x86: API porting api osdev reversing pmig96.wordpress.com
via calvin 7 days ago | cached | 3 comments

3
4

NetBSD Licensing and Redistribution law netbsd osdev netbsd.org
via jaypatelani 10 days ago | cached | 2 comments

2
2

The Execution Model of APZ/PLEX - An Informal Description pdf historical osdev plt es.mdh.se
via calvin 11 days ago | cached | no comments

0
3

lynx-dev Lynx386 & Caldera DR-DOS DPMI api historical osdev virtualization lists.gnu.org
via ethoh 13 days ago | cached | no comments

0
17

OnScreenKeyboardMorph: Smalltalk keyboard on a phone osdev eighty-twenty.org
authored by tonyg 16 days ago | cached | 3 comments

3
4

What is SOS? distributed historical osdev messagepassing.blogspot.com
via calvin 17 days ago | cached | no comments

0
2

Mojo - Platform-agnostic abstraction of common IPC, message IDL format, and codegen bindings library networking osdev chromium.googlesource.com
via GrayGnome 27 days ago | cached | 1 comment

1
51

Modern storage is plenty fast. It is the APIs that are bad api osdev itnext.io
via GrayGnome 29 days ago | cached | 8 comments

8
6

Genode DDE Linux experiments osdev genodians.org
via akavel 1 month ago | cached | no comments

0
29

What have we lost? video osdev youtube.com
via julienxx 1 month ago | cached | 12 comments

12
17

The RustyHermit Unikernel osdev rust virtualization rust-osdev.com
via ross 1 month ago | cached | 1 comment

1
8

Huawei LiteOS简介 osdev github.com
via sanxiyn 1 month ago | cached | 4 comments

4
5

Apollo Domain Architecture (1981) pdf slides distributed hardware osdev bitsavers.org
via calvin 1 month ago | cached | no comments

0
5

SMSQ/E - the operating system for the Sinclair QL ☶ video osdev youtu.be
via lproven 1 month ago | cached | no comments

0
4

Interview with Abhinav Upadhyay, NetBSD and FOSS developer netbsd osdev programming unix cyberciti.biz
via jaypatelani 1 month ago | cached | no comments

0
4

NetBSD GSoC Reports: Make system(3), popen(3) and popenve(3) use posix_spawn(3) internally netbsd osdev programming unix blog.netbsd.org
via jaypatelani 1 month ago | cached | 1 comment

1
7

NetBSD Bounties for xhci features scatter-gather, suspend/resume assembly c netbsd osdev programming mail-index.netbsd.org
via jaypatelani 1 month ago | cached | no comments

0
5

Domain/OS Design Principles (1989) pdf distributed osdev bitsavers.org
via calvin 1 month ago | cached | 2 comments

2
5

CLOSOS: Specification of a Lisp operating system (2013) pdf osdev metamodular.com
via inactive-user 1 month ago | cached | no comments

0
45

Linus Torvalds on how AMD and Intel are changing how processor interrupts are handled hardware osdev zdnet.com
via ethoh 1 month ago | cached | 6 comments

6
12

Haiku activity report - February 2021 c++ compsci osdev haiku-os.org
via ethoh 1 month ago | cached | no comments

0