RIKEN-SysSoft / mckernelLinks
McKernel
☆117Updated 11 months ago
Alternatives and similar repositories for mckernel
Users that are interested in mckernel are comparing it to the libraries listed below
Sorting:
- ☆137Updated last month
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- ☆48Updated 6 months ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆43Updated last year
- Core KernelCI tools☆114Updated this week
- ☆74Updated last year
- This repository provides a Linux kernel bootable on RISC-V boards from SiFive☆167Updated 5 years ago
- Kitten Lightweight Kernel☆54Updated 2 years ago
- System initialization firmware for Power systems☆77Updated this week
- Documentation for OpenPOWER Firmware☆72Updated last year
- OPAL boot and runtime firmware for POWER☆106Updated this week
- Allows safer access to model specific registers (MSRs)☆91Updated last month
- Mirror of the official Barrelfish OS repository.☆197Updated 2 years ago
- Linux Cross-Memory Attach☆94Updated 8 months ago
- Documentation and status of UEFI on RISC-V☆58Updated 3 years ago
- Process-in-Process☆17Updated 4 years ago
- Multikernel OS for manycore systems☆10Updated 3 years ago
- Nautilus Aerokernel☆46Updated 3 years ago
- Unikernel Linux☆206Updated 3 weeks ago
- Arm C Language Extensions (ACLE)☆107Updated last month
- An open standard Cache Coherent Fabric Interface repository☆66Updated 5 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆179Updated this week
- The core components of the L4Re operating system.☆87Updated last week
- Linux based user-space RSHIM driver for the Mellanox BlueField SoC☆31Updated this week
- A component-based OS☆189Updated 3 months ago
- Virtio draft specification☆65Updated 11 years ago
- A selection of ANSI C benchmarks and programs useful as benchmarks☆85Updated 9 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆54Updated 2 months ago
- Firmware for the Jamine OpenSSD platform☆49Updated 3 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last month