Barkhausen Institut gGmbH's repositories
M3-hardware
Hardware RTL code for the M³ operating system
usrp_uhd_wrapper
This repo wraps the Universal Hardware Driver for accessing the USRP X410 for easier use of burst-based use-cases.
AntennaArraySimulator
to be edited
linux-bench
Linux kernel source tree
Language:CNOASSERTION000
ui-prototyping-library
Example how Corola creates user interfaces for demonstrators
jcas-mmwave-platform
Source code and documentation for using a mmWave PXI system for research on joint communication and sensing (JCAS)
koika
A core language for rule-based hardware design 🦑
Language:CoqGPL-3.0000
M3-BSDCoreUtils
BSD coreutils is a port of many utilities from BSD to Linux and macOS.
Language:CNOASSERTION000
Language:MakefileNOASSERTION000
Language:C000
noc-koika
An implementation of a Network-on-Chip using [Koika](https://github.com/mit-plv/koika)
Language:CoqMIT000
NOVA
NOVA Microhypervisor
Language:C++NOASSERTION000
NRE
NOVA runtime environment
Language:C++GPL-2.0000
Language:C++MIT000
Language:Rust000