~lobsters | Bookmarks (4)

clear filters

osdev × security ×

Release 0.4.0 of the seL4 Device Driver Framework - Devel - lists.sel4.systems

sel4.systems

formalmethods osdev performance security
2
WASI 0.2 Launched

sunfishcode.online

osdev security wasm
1
CloudABI: Cloud computing meets fine-grained capabilities : Ed Schouten : Free Download, Borrow, and Streaming : Internet Archive

archive.org

osdev security
1
How OpenBSD’s malloc helps the developer - Otto Moerbeek - EuroBSDcon 2023

youtube.com

Slides: http://www.openbsd.org/papers/eurobsdcon2023-otto-malloc.pdf Comments

openbsd osdev science & technology security video
1