houcheng / xv6-armv7Links
xv6 porting on armv7 cpu
☆22Updated 11 years ago
Alternatives and similar repositories for xv6-armv7
Users that are interested in xv6-armv7 are comparing it to the libraries listed below
Sorting:
- OS support for 64 bit ARM architecture☆53Updated 6 years ago
- This is an xv6 port to Raspberry Pi☆43Updated 7 years ago
- ☆40Updated 10 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆68Updated 4 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆184Updated 2 years ago
- Repository for Xinu source code☆444Updated last year
- 64bit port of xv6☆130Updated 5 years ago
- ☆109Updated 6 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel☆69Updated 3 years ago
- a tiny monolithic kernel☆61Updated 8 years ago
- Codezero Microkernel☆109Updated 3 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆54Updated 3 years ago
- Chadderz's Simple USB Driver for Raspberry Pi☆211Updated 5 years ago
- This is an xv6 port on Raspberry Pi 2 and 3☆24Updated 3 years ago
- My experimental bare metal OS for the raspberry pi☆45Updated 10 years ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- Minix 1 and 2, Quick and Dirty editions☆132Updated 8 years ago
- A teaching operating system to get a deeper knowledge in the design of system software☆142Updated 8 years ago
- Enhanced version of rtenv: minimal real-time environment for ARM Cortex-M3☆23Updated 11 years ago
- Home-made almost operating system☆140Updated 2 years ago
- tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse☆32Updated 9 years ago
- Embedded Programming with the GNU Toolchain☆309Updated 6 years ago
- oskit code from Fluke OS project at University of Utah☆35Updated 2 years ago
- x86-64 SMP enabled microkernel hobbyist OS☆25Updated 9 years ago
- The development version of the L4Re Microkernel☆140Updated last week
- A second stage bootloader for the Raspberry Pi☆145Updated 3 years ago
- a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64☆22Updated last year
- Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.☆28Updated 3 years ago
- Operating System☆132Updated 3 years ago