cbiffle / brittle-kernel

Related projects ⓘ

Alternatives and complementary repositories for brittle-kernel

• swetland / mdebug
  Debugger For Cortex-M MCUs (Linux & OSX)
  ☆24Updated 2 years ago
• atgreen / moxie-cores
  Moxie-compatible core repository
  ☆45Updated 11 months ago
• betrusted-io / betrusted-ec
  Betrusted embedded controller (UP5K)
  ☆45Updated 11 months ago
• bobbl / libaeabi-cortexm0
  ARM Run-Time ABI for the Cortex-M0 processor
  ☆47Updated 2 years ago
• japaric / itm-tools
  Tools for analyzing ITM traces
  ☆50Updated 2 years ago
• adamgreig / daqnet
  ☆63Updated 4 years ago
• cliffordwolf / icotools
  Tools and Examples for IcoBoard
  ☆79Updated 3 years ago
• mdepx / mdepx
  MDX — A BSD-style RTOS
  ☆26Updated 2 months ago
• martinribelotta / cortex-m-llvm
  DEPRECATED: Use instread https://github.com/ARM-software/LLVM-embedded-toolchain-for-Arm Cortex M3/M4 with LLVM toolkit
  ☆62Updated 2 years ago
• open-isa-org / open-isa.org
  Software, tools, documentation for Vegaboard platform
  ☆63Updated 5 years ago
• stacksmith / fpgasm
  FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)
  ☆53Updated 3 years ago
• signalspec / signalspec
  Language for composable analysis and generation of digital, analog, and RF signals
  ☆53Updated last month
• raspberrypi / armulet
  ☆16Updated 3 months ago
• echtzeit-dev / ez-clang
  C++ REPL for bare-metal embedded devices
  ☆25Updated last year
• swetland / gateware
  A collection of little open source FPGA hobby projects
  ☆46Updated 4 years ago
• cambridgeconsultants / rust-beagleboardx15-demo
  Demonstrating Embedded Rust running on Linux and Bare-metal at the same time on the same AM578x SoC
  ☆27Updated 3 years ago
• Wren6991 / OpenDAP
  ☆21Updated last year
• azonenberg / antikernel
  The Antikernel operating system project
  ☆113Updated 4 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆46Updated 7 years ago
• wez / jlink_rtt
  JLINK RTT debugger support for rust
  ☆18Updated 4 years ago
• mithro / valentyusb
  USB Full-Speed core written in migen/LiteX
  ☆17Updated 5 years ago
• tinyfpga / TinyUSB
  USB Full-Speed core written in migen/LiteX
  ☆41Updated 5 years ago
• bad-alloc-heavy-industries / Trawler
  Bulk scrape and download datasheets from various vendors (insult)
  ☆14Updated 3 years ago
• pftbest / msp430_svd
  ☆19Updated 11 months ago
• Wren6991 / TwoWireDebug
  Yet Another Debug Transport
  ☆20Updated 2 years ago
• brainstorm / datasheet2svd
  From datasheet (pdf) to SVD... to then be fed into svd2rust
  ☆9Updated 2 years ago
• markrages / svd_gdb
  Decode SVD files to talk to microcontrollers through a debug probe.
  ☆17Updated 9 months ago
• cseed / cynth
  a simple C-to-Verilog compiler
  ☆47Updated 7 years ago
• chipy-hdl / chipy
  chipy hdl
  ☆17Updated 6 years ago
• tinylabs / flexsoc_cm3
  A flexible SoC emulator for ARM Cortex-M3
  ☆12Updated 2 years ago