Pinned

1. gateware Public

   A collection of little open source FPGA hobby projects

   SystemVerilog 43

2. compiler Public

   Unnamed Compiled Systems Language Project

   C 19

3. littlekernel/lk Public

   LK embedded kernel

   C 2.9k 563

4. mdebug Public

   Debugger For Cortex-M MCUs (Linux & OSX)

   C 21 1

5. zynq-sandbox Public

   a playground for xilinx zynq fpga experiments

   SystemVerilog 44 9

6. xv6 Public

   64bit port of xv6

   C 115 22