takeharukato / sample-tsk-sw
A Sample Operating System Kernel for Embedded Systems
☆14Updated 4 years ago
Alternatives and similar repositories for sample-tsk-sw:
Users that are interested in sample-tsk-sw are comparing it to the libraries listed below
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Updated 5 years ago
- Real-time hypervisor for ARM☆64Updated 8 years ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆52Updated 4 years ago
- Yet Another Teachable Operating System☆35Updated 5 years ago
- ☆15Updated 5 years ago
- ☆27Updated 7 years ago
- xv6 port to aarch64 virt board☆22Updated last year
- Simple OS.☆16Updated 14 years ago
- こちらは教育用自作組み込みOSであるKOZOSをRaspberry Piへ移植したものです。This is an KOZOS(http://kozos.jp/kozos/) port to Raspberry Pi.☆19Updated 7 years ago
- A UEFI application that measures the number of cycles involved in a VM entry/exit☆29Updated 7 years ago
- A thin-hypervisor that runs on aarch64 CPUs.☆94Updated 3 weeks ago
- OS support for 64 bit ARM architecture☆49Updated 6 years ago
- Simple implementation of NVMe Linux usermode driver☆21Updated 7 years ago
- Omicron Wiki☆18Updated 12 years ago
- Stacking List Oriented Basic Architecture Allocator☆15Updated 6 years ago
- A tiny educational OS for RISC-V☆22Updated 5 months ago
- 「BareMetalで遊ぶ Raspberry Pi」のプログラムです。☆46Updated 6 years ago
- example PCI virtual device on QEMU☆25Updated 9 years ago
- translation of XV6☆49Updated 6 years ago
- Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models☆54Updated 4 years ago
- C compiler + hikalium☆35Updated 4 years ago
- A minimal Operating System version 2☆21Updated 3 years ago
- kvmm is a type2 hypervisor that uses the Linux Kernel Virtual Machine(KVM).☆12Updated 4 years ago
- ☆56Updated 7 years ago
- 「30日でできる! OS自作入門」☆31Updated 7 years ago
- Developing an operating system from scratch (Advent Calendar 2018)☆18Updated 5 years ago
- Opcode / Instruction finder for x86_64☆70Updated last year
- The operating system written in Rust☆50Updated last week
- TRON(T-Kernel for x86)☆37Updated 8 years ago
- ☆19Updated 4 years ago