houcheng / xv6-armv7
xv6 porting on armv7 cpu
☆21Updated 10 years ago
Alternatives and similar repositories for xv6-armv7:
Users that are interested in xv6-armv7 are comparing it to the libraries listed below
- OS support for 64 bit ARM architecture☆49Updated 6 years ago
- This is an xv6 port to Raspberry Pi☆43Updated 7 years ago
- ☆40Updated 9 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆65Updated 4 years ago
- L4Ka::Hazelnut micro-kernel☆33Updated 9 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆51Updated 3 years ago
- This is an xv6 port on Raspberry Pi 2 and 3☆23Updated 2 years ago
- Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC☆104Updated 2 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆177Updated last year
- 64bit port of xv6☆127Updated 5 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- a tiny monolithic kernel☆60Updated 8 years ago
- ☆102Updated 6 years ago
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- a simple homebrew operating system for the Raspberry Pi☆40Updated last year
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 8 years ago
- RTOS based on L4 microkernel.☆16Updated 6 years ago
- Codezero Microkernel☆107Updated 3 years ago
- UEFI boot loader☆79Updated 2 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- The development version of the L4Re Microkernel☆116Updated 2 weeks ago
- Repository for Xinu source code☆439Updated 9 months ago
- The core components of the L4Re operating system.☆85Updated 2 weeks ago
- ARM OS☆13Updated 2 years ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆68Updated 3 years ago
- Minix 1.1 to 2.0.4☆51Updated 7 years ago
- a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64☆18Updated last year
- mini-os for arm64☆15Updated 9 years ago
- The xv6 operating system, ported to the Raspberry Pi☆12Updated 5 years ago
- Minix 1 and 2, Quick and Dirty editions☆128Updated 7 years ago