Skip to content
@amadeus-mips

amadeus-mips

Pinned Loading

  1. amadeus-mips Public

    Assembly 14 1

  2. amadeus-bootloader Public

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

    C++

  3. amadeus-formal Public

    using symbiotic eda suite to formally verify our cache

    Verilog 3

  4. amadeus-linux Public

    linux port to amadeus mips, based on linux 5.4.54 tarball

    C

  5. amadeus-soc Public

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

  6. amadeus-uboot Public

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

    C 1

Repositories

Showing 6 of 6 repositories
  • amadeus-formal Public

    using symbiotic eda suite to formally verify our cache

    Verilog 3 GPL-3.0 0 0 0 Updated Sep 30, 2021
  • amadeus-mips Public
    Assembly 14 GPL-3.0 1 0 0 Updated Nov 23, 2020
  • amadeus-soc Public

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

    0 0 0 0 Updated Oct 29, 2020
  • amadeus-linux Public

    linux port to amadeus mips, based on linux 5.4.54 tarball

    C 0 0 0 0 Updated Sep 9, 2020
  • amadeus-uboot Public

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

    C 1 0 0 0 Updated Sep 9, 2020
  • amadeus-bootloader Public

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

    C++ 0 Apache-2.0 0 0 0 Updated Sep 9, 2020