-
l4re-core Public
Forked from kernkonzept/l4re-coreThe core components of the L4Re operating system.
C GNU General Public License v2.0 UpdatedAug 30, 2024 -
drivers-frst Public
Forked from kernkonzept/drivers-frstLow level drivers for initial booting of the L4Re operating system.
C GNU General Public License v2.0 UpdatedAug 30, 2024 -
-
luigi Public
Forked from nakst/luigiA barebones single-header GUI library for Win32, X11 and Essence.
C Other UpdatedMay 28, 2024 -
egui Public
Forked from emilk/eguiegui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
Rust Apache License 2.0 UpdatedMay 23, 2024 -
probe-rs Public
Forked from probe-rs/probe-rsA debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
Rust Apache License 2.0 UpdatedMay 21, 2024 -
probe-rs-vscode Public
Forked from probe-rs/vscodeVSCode debug extension for probe-rs. It uses the MS DAP protocol to communicate directly with the probe (via probe-rs), and supports basic command line debugging in addition to VSCode UI.
TypeScript Other UpdatedMay 21, 2024 -
cortex-m Public
Forked from rust-embedded/cortex-mLow level access to Cortex-M processors
Rust Apache License 2.0 UpdatedMay 21, 2024 -
defmt Public
Forked from knurling-rs/defmtEfficient, deferred formatting for logging on embedded systems
Rust Apache License 2.0 UpdatedMay 17, 2024 -
A GDB frontend for Linux.
Objective-C MIT License UpdatedMay 16, 2024 -
-
fdt Public
Forked from repnop/fdtRust crate for Flattened Devicetree parsing
Rust Mozilla Public License 2.0 UpdatedDec 29, 2023 -
-
-
bmunwind Public
Forked from davmac314/bmunwindbare-metal libunwind implementation, for supporting C exceptions in EFI apps and OS kernels
C Other UpdatedNov 29, 2023 -
genimage Public
Forked from pengutronix/genimagetool to generate multiple filesystem and flash images from a tree
C GNU General Public License v2.0 UpdatedOct 11, 2023 -
vanadinite Public
Forked from repnop/vanadiniteRISC-V OS written in Rust
Rust Mozilla Public License 2.0 UpdatedJul 30, 2023 -
Theseus Public
Forked from theseus-os/TheseusTheseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware to maximally leverage the power of language safety and โฆ
Rust MIT License UpdatedMar 24, 2023 -
-
A secure embedded operating system for microcontrollers
Rust Other UpdatedMar 23, 2023 -
nod Public
Forked from ETLCPP/nodSmall, header only signals and slots C 11 library.
C MIT License UpdatedSep 16, 2022 -
visionfive-chainloader Public
Forked from repnop/visionfive-chainloaderA chainloader for the VisionFive RISC-V SBC
Rust UpdatedApr 3, 2022 -
pixels Public
Forked from repnop/pixelsA tiny hardware-accelerated pixel frame buffer. ๐ฆ
Rust MIT License UpdatedAug 22, 2021 -
-
RISCV-VCU118 Public
Forked from kkangle/RISCV-VCU118A synthesizable version of RISCV on VCU118
VHDL UpdatedSep 19, 2018 -
sos-os Public
Forked from sos-os/kernelThe Stupid Operating System
Rust Apache License 2.0 UpdatedSep 4, 2018 -
My_AUTOSAR_Project Public
Forked from leduynguyen/My_AUTOSAR_ProjectAn integration an example AUTOSAR project which every part in AUTOSAR (OS, RTE, BSW, MCAL) are collected from different open source.
C UpdatedApr 3, 2018 -
trampoline Public
Forked from leduynguyen/trampolineTrampoline is a static RTOS for small embedded systems. Its API is aligned with OSEK/VDX OS and AUTOSAR OS 4.2 standards.
C GNU General Public License v2.0 UpdatedFeb 3, 2017 -
libdisarm Public
Forked from jonls/libdisarmARM disassembler library
C GNU General Public License v2.0 UpdatedAug 11, 2013