The Art of Linux Kernel Design - Yang Lixiang
View more
The Art of Linux Kernel Design - Yang Lixiang
uC/OS-III, The Real-Time Kernel, or a High Performance, Scalable, ROMable, Preemptive, Multitasking Kernel for Microprocessors, Microcontrollers & DSPs
View more
uC/OS-III, The Real-Time Kernel, or a High Performance, Scalable, ROMable, Preemptive, Multitasking Kernel for Microprocessors, Microcontrollers & DSPs
uCOS-III-The Real time kernel ST-STM32
View more
uCOS-III-The Real time kernel ST-STM32
Formal Refinement for Operating System Kernels - Iain D. Craig
View more
Formal Refinement for Operating System Kernels - Iain D. Craig
Professional Linux Kernel Architecture - Wolfgang Mauerer
View more
Professional Linux Kernel Architecture - Wolfgang Mauerer
Understanding the Linux Kernel 3rd Edition - Daniel P. Bovet and Marco Cesati
View more
Understanding the Linux Kernel 3rd Edition - Daniel P. Bovet and Marco Cesati
Resource-Oriented Computing with NetKernel - Tom Geudens
View more
Resource-Oriented Computing with NetKernel - Tom Geudens
OS X and iOS Kernel Programming - Ole Henry Halvorsen and Douglas Clarke
View more
OS X and iOS Kernel Programming - Ole Henry Halvorsen and Douglas Clarke
Windows Kernel Programming 2nd Edition - Pavel Yosifovich
View more
Windows Kernel Programming 2nd Edition - Pavel Yosifovich
Linux Kernel in a Nutshell - Greg Kroah-Hartman
View more
Linux Kernel in a Nutshell - Greg Kroah-Hartman
Formal Models of Operating System Kernels - Iain D. Craig
View more
Formal Models of Operating System Kernels - Iain D. Craig