The main L4Re manifest to checkout the L4Re operating system.
☆21Sep 3, 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.☆105Updated this week
- The device tree library☆22Updated this week
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 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.
- Collection of scripts to analyse the Linux kernel☆10Aug 25, 2019Updated 7 years ago
- PFE Ethernet accelerator☆13Aug 6, 2026Updated last month
- Automotive Linux BSP for NXP S32 Release Yocto Project manifests☆42Aug 6, 2026Updated last month
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆18Jul 8, 2026Updated last month
- NOTE: This repository is deprecated -- meta-genivi-dev can now be found inside of the genivi-dev-platform.git repository☆11Feb 7, 2018Updated 8 years ago
- GZX - George's ZX Spectrum Emulator☆17Jun 9, 2026Updated 2 months ago
- Qemu Etrace☆17May 21, 2024Updated 2 years ago
- C11标准的原子操作详解☆28Oct 8, 2022Updated 3 years ago
- Linux dotfiles☆10Aug 5, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Monocerus emulator framework☆11Mar 28, 2019Updated 7 years ago
- Automotive S32 U-Boot☆10Aug 6, 2026Updated last month
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆11Feb 5, 2020Updated 6 years ago
- A repo to use with vim plugin managers.☆12Jun 30, 2015Updated 11 years ago
- BDResource Technology Co.,Ltd, engaged in making auto electrical diagnostic tools, such as X431,GM tech2,TMS374,Star 2000 Diagnostic Syst…☆16Oct 18, 2012Updated 13 years ago
- This is my GitHub profile☆11Updated this week
- VS Code workspace template for app and image developers☆15May 21, 2026Updated 3 months ago
- C++ Interfaces for the nAG Library☆18Jul 24, 2025Updated last year
- An example repository demonstrating Bazel cc_binary and cc_library build targets.☆11Mar 3, 2016Updated 10 years ago
- 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.
- ☆29Feb 28, 2016Updated 10 years ago
- emulator for ARM☆11Jun 14, 2019Updated 7 years ago
- play with algoritms☆17Oct 4, 2019Updated 6 years ago
- TensorFlow Lite classification on a bare Raspberry Pi 4 with 64-bit OS at 23 FPS☆12Dec 27, 2021Updated 4 years ago
- MZ-700 Original Games Project☆23Aug 12, 2026Updated 3 weeks ago
- ☆11Mar 1, 2023Updated 3 years ago
- OSF Mach and MkLinux conservation project☆32Nov 3, 2012Updated 13 years ago
- Validation test suite for CMSIS-RTOS2 API implementations using Arm Virtual Hardware (AVH).☆20Aug 31, 2026Updated last week
- AGL demo for 96Boards☆11Jan 3, 2018Updated 8 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.
- ☆10Nov 1, 2021Updated 4 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
- A LaTeX template for theses☆18Jun 18, 2026Updated 2 months 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