Farpatch allows you to remotely debug a device via SWD or JTAG. Farpatch is powered by the device it's debugging, meaning all you need to do is plug it in and start debugging. Farpatch is available for pre-order on Crowd Supply.
Tomu is a tiny open source FPGA in your USB port! Learn USB and the new RISC-V ISA. Available now on Crowd Supply.
Tomu is a tiny open source computer in your USB port! Available now on Crowd Supply.
Xous is the operating system backing Betrusted and Precursor. It is a microkernel operating system that enforces process separation. The main Xous process is only a few kilobytes, and nearly everything -- even preemption -- is dedicated to userspace processes.