Pinned Loading

1. amadeus-mips amadeus-mips Public

   Assembly 14 1

2. amadeus-bootloader amadeus-bootloader Public

   an SPL for u-boot based on z4yx/supervisor-mips32

   C++

3. amadeus-formal amadeus-formal Public

   using symbiotic eda suite to formally verify our cache

   Verilog 3

4. amadeus-linux amadeus-linux Public

   linux port to amadeus mips, based on linux 5.4.54 tarball

   C

5. amadeus-soc amadeus-soc Public

   SoC for processor, to use with u-boot and linux

6. amadeus-uboot amadeus-uboot Public

   uboot port to amadeus mips, based on u-boot 2020.7.

   C 1