danghai / kernel
☆14Updated 2 years ago
Related projects: ⓘ
- Linux Kernel Programming (Part 2), published by Packt☆117Updated 8 months ago
- Linux Device Drivers Tutorial☆48Updated 3 years ago
- bare metal ARM examples to be run with qemu-system-arm☆66Updated 5 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 7 years ago
- Simple Embedded ARM Linux System☆65Updated 4 months ago
- aarch64 bare metal test on qemu☆91Updated 9 years ago
- ☆94Updated 5 years ago
- ☆28Updated 11 years ago
- minivm based on kvm☆142Updated 3 months ago
- Linux Device Driver Development Cookbook, published by Packt☆40Updated last year
- Preparation for technical interviews☆27Updated 13 years ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆42Updated 8 years ago
- My "Write a Real, Working, Linux Driver" talk and source code☆165Updated 9 years ago
- Kernel 4.10 Examples of linux drivers.. for practice and reference☆51Updated last year
- bare metal programming with Raspberry Pi☆28Updated 5 years ago
- Example code from the book "Linux Device Driver Development Cookbook" by Rodolfo Giometti - Packt Publishing☆32Updated 5 years ago
- Tiny Linux bootloader for the STM32F429-Discovery☆46Updated 9 years ago
- Hello World for bare metal ARMv8 using QEMU☆54Updated 8 years ago
- Main repository of KEDR project☆117Updated 3 years ago
- crash extension modules☆18Updated 2 years ago
- Sample source code of the book Linux Device Drivers for the latest kernel.☆73Updated 3 years ago
- Linux driver that allows a user-space program to mmap a buffer of contiguous physical memory☆24Updated 12 years ago
- ☆40Updated last month
- Userspace tool to map virtual page addresses to physical addresses.☆169Updated 5 years ago
- A template with Linux kernel like build system.☆102Updated 10 years ago
- Linux Kernel Debugging, published by Packt☆149Updated 3 months ago
- Learn how multi-queue block device in Linux kernel v4.4 works☆75Updated last month
- Linux device driver code base☆32Updated 2 years ago
- aufs - simple Linux kernel file system for os course☆100Updated 6 years ago
- ☆265Updated 7 years ago