Simulations using Verilator for Betrusted
Updated 2 years ago
Program FTDI chips on Windows. (Doesn't work yet.)
Updated 2 years ago
FOSSASIA 2020 Betrusted / Xous talk
Updated 2 months ago
Updated 2 years ago
Updated 2 years ago
Updated 2 years ago
Mirror of Betrusted repo
Updated 2 years ago
Simple crate to make working with hardware registers easier
Updated 2 years ago
Updated 2 years ago
Updated 1 year ago
Experiments with getting IPC working
Updated 1 year ago
Terminate/Run Lark on a set schedule
Updated 1 year ago
Manifests for Yocto, because `repo` doesn't know how to work with local files
Updated 10 months ago
A prototype of a wifi debug dongle
Updated 4 months ago
Fossasia 2022 Renode Talk
Updated 1 month ago