Minimalist cooperative operating system supporting multiple tasks with MMU protection
GRSPW SpaceWire device model for QEMU's leon3_generic (SPARC) machine. Runs unmodified RTEMS 6 grspw/grspw_pkt drivers with four cores, DMA, interrupts and an RMAP target, linked to a host peer through POSIX message queues. For LEON3 flight software testing without hardware.
This is an ongoing rewrite of https://hephaistos.lpp.polytechnique.fr/rhodecode/HG_REPOSITORIES/LPP/INSTRUMENTATION/SocExplorer
Autonomous unsupervised feature-tracking software for real-time deep-space navigation (TRL 4). Tailored for resource-constrained LEON3 architectures. Implements fixed-point integer entropy computing, optimized data-alignment telemetry, and seamless Renode SIL validation.
To associate your repository with the leon3 topic, visit your repo's landing page and select "manage topics."