The main L4Re manifest to checkout the L4Re operating system.
☆21Jul 23, 2026Updated this week
Alternatives and similar repositories for manifest
Users that are interested in manifest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Virtual machine monitor for L4Re☆36Updated this week
- The development version of the L4Re Microkernel☆166Updated this week
- The core components of the L4Re operating system.☆106Updated this week
- The device tree library☆22Updated this week
- This repository contains patches for the Rust to L4Re OS port. It's a place to gather patches before they find their way in the upstream …☆18Nov 14, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Rocket Chip Generator☆13Jul 31, 2021Updated 4 years ago
- Tesla IOT Key☆11Dec 5, 2018Updated 7 years ago
- PFE Ethernet accelerator☆13Jun 30, 2026Updated 3 weeks ago
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆42Jul 9, 2026Updated 2 weeks ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆18Jul 8, 2026Updated 3 weeks ago
- GZX - George's ZX Spectrum Emulator☆17Jun 9, 2026Updated last month
- Qemu Etrace☆17May 21, 2024Updated 2 years ago
- Detailed examples demonstrating cross-platform building with Bazel☆11Dec 1, 2017Updated 8 years ago
- Linux dotfiles☆10May 6, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Ported software for HelenOS.☆22Mar 13, 2026Updated 4 months ago
- Monocerus emulator framework☆11Mar 28, 2019Updated 7 years ago
- Automotive S32 U-Boot☆10Jul 9, 2026Updated 2 weeks ago
- WinDbg cheat sheet☆17May 10, 2023Updated 3 years ago
- Intel Itanium (ia64) Linux user target for Qemu☆33Aug 22, 2011Updated 14 years ago
- This is my GitHub profile☆11Updated this week
- Webpage for https://github.com/floooh/v6502r☆11Jul 2, 2026Updated 3 weeks ago
- VS Code workspace template for app and image developers☆15May 21, 2026Updated 2 months ago
- An example repository demonstrating Bazel cc_binary and cc_library build targets.☆11Mar 3, 2016Updated 10 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Aquarius MX - USB-enabled Expansion Module with 32kb RAM, Real-Time Clock, and 6 Voice Sound☆21Feb 10, 2024Updated 2 years ago
- ☆29Feb 28, 2016Updated 10 years ago
- My blog — https://twilco.github.io☆13Apr 26, 2026Updated 3 months ago
- emulator for ARM☆11Jun 14, 2019Updated 7 years ago
- usbboot for the Ingenic X2000E used by the Creality K1 (Max)☆21Feb 8, 2024Updated 2 years ago
- ☆22May 19, 2026Updated 2 months ago
- play with algoritms☆17Oct 4, 2019Updated 6 years ago
- Unix emulator of the Tesla PMD 85, an 8-bit personal micro-computer and all its compatible models produced in eighties of 20th century in…☆26May 28, 2026Updated 2 months ago
- OSF Mach and MkLinux conservation project☆31Nov 3, 2012Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Validation test suite for CMSIS-RTOS2 API implementations using Arm Virtual Hardware (AVH).☆19Jul 20, 2026Updated last week
- ☆10Nov 1, 2021Updated 4 years ago
- MIDAS Public Release☆11Nov 27, 2018Updated 7 years ago
- A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.☆313Dec 2, 2019Updated 6 years ago
- BSD-licensed CTF Implementation☆22Jul 18, 2015Updated 11 years ago
- Research on DrawBridge Library OS, which is base building block for MSSQL on Linux☆26Jan 5, 2018Updated 8 years ago
- A guide to get you started with Windows Kernel Debugging walking you through the complete setup and usage of WinDbg to trace Windows proc…☆27Nov 26, 2025Updated 8 months ago