Pinned Loading

1. roOs roOs Public

   roOs | Small Basic Kernel for educational development

   C 1

2. EConBadge EConBadge Public

   E-Ink Convention Badge | Connected badge to display your favorite images and texts at convention.

   C++ 3

3. QEMTrace QEMTrace Public

   QEMU Based tracer for full system memory accesses tracing

   C 2 1

4. RISC-V RISC-V Public

   Simplist and non optimized implementation of a RISC-V processor.

   VHDL

5. JetOS_ARMV7 JetOS_ARMV7 Public

   JetOS portage to TMS570 (Armv7) architecture

   C 3 2

6. SATSolver SATSolver Public

   SAT Solver by Tristan Stérin and Alexy Torres at the ENS Lyon 2015-2016

   C++