The main L4Re manifest to checkout the L4Re operating system.
☆21Sep 25, 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☆167Updated this week
- The core components of the L4Re operating system.☆105Updated this week
- Rocket Chip Generator☆13Jul 31, 2021Updated 5 years ago
- PFE Ethernet accelerator☆13Sep 15, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆42Sep 18, 2026Updated last week
- Automatically Generate Language Bindings to C++ Programs With Clang's LibTooling☆15May 27, 2023Updated 3 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆19Updated this week
- Detailed examples demonstrating cross-platform building with Bazel☆11Dec 1, 2017Updated 8 years ago
- C11标准的原子操作详解☆28Oct 8, 2022Updated 3 years ago
- Simple web applications for the AGL platform.☆12Jun 17, 2022Updated 4 years ago
- Collection of simple CLI tools to help build Gentoo packages on a non-Gentoo Linux host☆27Updated this week
- BDResource Technology Co.,Ltd, engaged in making auto electrical diagnostic tools, such as X431,GM tech2,TMS374,Star 2000 Diagnostic Syst…☆17Oct 18, 2012Updated 13 years ago
- Webpage for https://github.com/floooh/v6502r☆11Sep 12, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Automotive S32 U-Boot☆11Sep 18, 2026Updated last week
- VS Code workspace template for app and image developers☆15May 21, 2026Updated 4 months ago
- My personal site. Contains my blog and other useful sections☆14Updated this week
- ☆29Feb 28, 2016Updated 10 years ago
- My blog — https://twilco.github.io☆13Apr 26, 2026Updated 5 months ago
- emulator for ARM☆11Jun 14, 2019Updated 7 years ago
- TensorFlow Lite classification on a bare Raspberry Pi 4 with 64-bit OS at 23 FPS☆12Dec 27, 2021Updated 4 years ago
- Microchip IEC/UL 60730 Class B Functional Safety Libraries - PIC32☆13Jan 4, 2016Updated 10 years ago
- Validation test suite for CMSIS-RTOS2 API implementations using Arm Virtual Hardware (AVH).☆20Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Template for building sites in Astro and deploy them using Fleek☆14Jul 20, 2024Updated 2 years ago
- AGL demo for 96Boards☆11Jan 3, 2018Updated 8 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.☆309Dec 2, 2019Updated 6 years ago
- BSD-licensed CTF Implementation☆22Jul 18, 2015Updated 11 years ago
- An android app used for inventory by scanning RFID card from phone which has a NFC reader.☆12Jul 4, 2017Updated 9 years ago
- ☆13Updated this week
- SystemC-WMS (Wave Mixed Signal Simulator) is a class library that extends the standard SystemC kernel to allow modeling and simulation of…☆11Jul 19, 2018Updated 8 years ago
- A Drupal-like CMS written entirely in C++ and Qt5, targetting the Cassandra database server.☆17Aug 4, 2025Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Example code from the book "GNU/Linux Rapid Embedded Programming" by Rodolfo Giometti - Packt Publishing☆16May 3, 2017Updated 9 years ago
- Community site for microkernel projects.☆34Sep 13, 2026Updated 2 weeks ago
- A Parallel Simulation Framework For Multicore Systems☆11May 20, 2017Updated 9 years ago
- C++ Standard Template Library in Practice, published by [Packt]☆24Jan 30, 2023Updated 3 years ago
- ☆15Feb 25, 2020Updated 6 years ago
- a nostr book written in persian.☆12May 16, 2025Updated last year
- This is my rearrangement of IUB 2009 P523 uploaded files opensourced on github in different repos.All copyright belongs to R. Kent/A. Kee…☆12Feb 22, 2026Updated 7 months ago