The main L4Re manifest to checkout the L4Re operating system.
☆22Mar 6, 2026Updated this week
Alternatives and similar repositories for manifest
Users that are interested in manifest are comparing it to the libraries listed below
Sorting:
- Virtual machine monitor for L4Re☆34Updated this week
- The development version of the L4Re Microkernel☆157Feb 27, 2026Updated last week
- The core components of the L4Re operating system.☆101Updated this week
- okl4 git for porting to realview_eb RTSM platform☆15Oct 17, 2012Updated 13 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Feb 23, 2026Updated 2 weeks ago
- PFE Ethernet accelerator☆13Nov 27, 2025Updated 3 months ago
- C11标准的原子操作详解☆28Oct 8, 2022Updated 3 years ago
- Rocket Chip Generator☆13Jul 31, 2021Updated 4 years ago
- Tesla IOT Key☆11Dec 5, 2018Updated 7 years ago
- Qemu Etrace☆15May 21, 2024Updated last year
- Advanced Operating Systems project manifest☆14Sep 6, 2025Updated 6 months ago
- This is the source of the seL4 docs.☆18Updated this week
- BSD-licensed CTF Implementation☆21Jul 18, 2015Updated 10 years ago
- Cross-platform Packet Capture which supports Linux and macOS(BSD) in 1000 LOC without depending on libpcap.☆26Jun 25, 2019Updated 6 years ago
- Porting vsomeip 3.1.20 on QNX 7.0☆26Jul 27, 2021Updated 4 years ago
- ☆29Feb 28, 2016Updated 10 years ago
- A few libunwind examples☆30Jun 27, 2021Updated 4 years ago
- 拙著《系统程序员成长计划》的示例代码。☆33Sep 14, 2023Updated 2 years ago
- DAG-based blockchain☆10Apr 20, 2019Updated 6 years ago
- extractor for QNX6 filesystem format.☆34Nov 22, 2023Updated 2 years ago
- Mokoid: 上機練習範本，完整內容: https://github.com/jollen/android-framework-mokoid☆30Mar 9, 2014Updated 12 years ago
- A Rust library to manipulate AArch64 VMSA EL1 page tables.☆40Updated this week
- BDResource Technology Co.,Ltd, engaged in making auto electrical diagnostic tools, such as X431,GM tech2,TMS374,Star 2000 Diagnostic Syst…☆15Oct 18, 2012Updated 13 years ago
- This is a hanabi AI bot that can play on http://keldon.net/hanabi/☆11May 29, 2017Updated 8 years ago
- A Rust implementation of AUTOSTAR's Scalable service-Oriented MiddlewarE over IP (SOME/IP).☆13Dec 17, 2025Updated 2 months ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Dec 13, 2011Updated 14 years ago
- Automotive S32 U-Boot☆11Nov 27, 2025Updated 3 months ago
- Embed the Power of Lua into NGINX HTTP servers☆11Dec 1, 2015Updated 10 years ago
- Yocto Explorer: is a command line tool to ease the manipulation of files under the directory structure adopted by O.S. Systems to organiz…☆10Feb 23, 2022Updated 4 years ago
- Installation and launch Alpine Linux scripts for armv7 and aarch64 on x86_64☆16May 5, 2025Updated 10 months ago
- hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)☆12Jan 23, 2019Updated 7 years ago
- Simple web applications for the AGL platform.☆12Jun 17, 2022Updated 3 years ago
- ☆13Jan 17, 2022Updated 4 years ago
- Example that shows how a service-oriented communication API can be implemented on top of iceoryx☆45Jun 22, 2022Updated 3 years ago
- UADK (User space Accelerator Development Kit), is a user space framework for using accelerators. Active branch is 'master'.☆54Feb 12, 2026Updated 3 weeks ago
- 基于Xilinx平台的功能安全笔记☆50Aug 2, 2019Updated 6 years ago
- Tesla CAN bus messages and signals for 3, Y, S and X☆12Sep 10, 2023Updated 2 years ago
- ☆10Mar 10, 2021Updated 4 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated 2 months ago