RIKEN-SysSoft / mckernelLinks
McKernel
☆120Updated last year
Alternatives and similar repositories for mckernel
Users that are interested in mckernel are comparing it to the libraries listed below
Sorting:
- ☆138Updated 2 months ago
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- ☆48Updated 7 months ago
- A simple benchmark which measures latency between CPU cores.☆39Updated 8 years ago
- Core KernelCI tools☆114Updated this week
- Documentation for OpenPOWER Firmware☆72Updated last year
- Kitten Lightweight Kernel☆54Updated 2 years ago
- Popcorn Linux compiler toolchain for heterogeneous-ISA execution☆43Updated last year
- Process-in-Process☆17Updated 4 years ago
- Linux Cross-Memory Attach☆94Updated 9 months ago
- musl libc for RISC-V☆83Updated 6 years ago
- Popcorn Linux kernel for distributed thread execution☆162Updated last year
- Measures microarchitectural details such as ROB size. Like https://github.com/travisdowns/robsize but without runtime code generation, wh…☆129Updated 4 years ago
- Documentation and status of UEFI on RISC-V☆59Updated 3 years ago
- Collection of synchronization micro-benchmarks and traces from infrastructure applications☆44Updated 2 weeks ago
- RAMspeed/SMP, a cache and memory benchmarking tool☆49Updated 6 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- The development version of the L4Re Microkernel☆132Updated last week
- OPAL boot and runtime firmware for POWER☆107Updated 2 weeks ago
- Virtio draft specification☆65Updated 11 years ago
- ☆229Updated 2 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆180Updated this week
- System initialization firmware for Power systems☆76Updated last week
- An unofficial guide to contributing to GCC, aimed at newbies☆118Updated 8 months ago
- The core components of the L4Re operating system.☆89Updated last week
- PMIx Reference RunTime Environment (PRRTE)☆45Updated 2 weeks ago
- A component-based OS☆189Updated 4 months ago
- Mirror of the official Barrelfish OS repository.☆206Updated 2 years ago
- Documentation and diagnostic utilities for running Linux perf on AMD hardware☆32Updated 4 years ago
- This repository provides a Linux kernel bootable on RISC-V boards from SiFive☆170Updated 5 years ago