timnewsham / FuchsiaNotesLinks
Magenta and Fuchsia notes
☆20Updated 8 years ago
Alternatives and similar repositories for FuchsiaNotes
Users that are interested in FuchsiaNotes are comparing it to the libraries listed below
Sorting:
- A gdb gui written in Python, running inside gdb itself.☆46Updated last year
- Linux kernel patch static verification tool☆25Updated last week
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- A minimalistic QEMU and libvirt environment used to generate test VMs.☆32Updated last month
- ☆106Updated 6 years ago
- Scripts to build and test Linux kernels☆49Updated 3 months ago
- Source code for the article "A bug story: data alignment on x86"☆16Updated 8 years ago
- ☆29Updated 8 years ago
- A 64-bit kernel for ARMv8-A CPU's.☆30Updated 3 years ago
- Handy kernel development scripts.☆49Updated last month
- This is an xv6 port to Raspberry Pi☆43Updated 7 years ago
- ARM emulator☆47Updated 9 years ago
- My OS study following Broken Thorn OS series: http://www.brokenthorn.com/Resources/OSDevIndex.html☆61Updated 9 years ago
- Pagemon is an interactive memory/page monitoring tool allowing one to browse the memory map of an active running process.☆40Updated 4 months ago
- Notes taken from Understanding the Linux Virtual Memory Manager by Mel Gorman targeting kernel 2.4.22.☆50Updated 8 years ago
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆56Updated 8 years ago
- A hobby operating system. Everyone's gotta have one.☆48Updated 14 years ago
- Calcium OS project for x86_64☆40Updated 7 years ago
- My ~/linux/ directory framework☆100Updated last week
- uefi app/bootloader development sandbox☆15Updated 9 years ago
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- SBUnix is x86 64 bit operating system majorly developed in C. It supports memory management, paging, context switching, terminal, shell a…☆10Updated 11 years ago
- Kernel coredump file access☆29Updated 5 months ago
- A simple bootloader for linux kernel☆24Updated 11 years ago
- CHIP-8 emulator for UEFI☆11Updated 8 years ago
- EDK II LKL Filesystem Driver☆13Updated 8 years ago
- The GRUB 2 bootloader. "upstream" is a mirror of the official bzr repository; "master" and other branches are our development. All branch…☆9Updated 9 years ago
- cmips☆56Updated 10 years ago
- Yet another hobby OS☆11Updated 7 years ago
- A modern Linux kernel kernel development environment featuring integrated debugging based on vscode and libvirtd☆134Updated 5 years ago