Writing NetBSD Sound Drivers in Haskell
OS COMPONENTS
Enea Linux and LWRT FTF China 2012
Metasepi team meeting #13: NetBSD driver using Haskell
How to rewrite the OS using C by strong type
Learning visual representations for unfamiliar environments Kate Saenko, Brian Kulis, Trevor Darrell UC Berkeley EECS & ICSI.
Memory Management in Linux Anand Sivasubramaniam.
1 1 Passive Data Link Layer 802.11 Wireless Device Driver Fingerprinting Presenter: Tyler Sidell April 2, 2008.
EEE 435 Principles of Operating Systems Structure of I/O Software Pt II (Modern Operating Systems 5.3.3 & 5.3.4)
I/O Management
Troubleshooting Linux Kernel Modules And Device Drivers
Troubleshooting linux-kernel-modules-and-device-drivers-1233050713693744-1