"And of course, all of the code that comes on the chip in the form of its bootloader and OS is 100% open source and inspectable. Extra attention was given to the bootloader to ensure that anyone can reproduce the actual binary image using a GUIX toolchain."
https://www.crowdsupply.com/baochip/dabao
#guix
quotingIf you missed my talk with Xobs at #39c3, the recording is now up: https://media.ccc.de/v/39c3-xous-a-pure-rust-rethink-of-the-embedded-operating-system
nevent1q…0egq
Learn about Xous, the pure-Rust OS we've been working on, and the Baochip-1x, a full custom silicon chip that will soon be available, purpose-built to run Xous!