Skip to content

@amadeus-mips amadeus-mips

Change the repository type filter

All

    Repositories list

    6 repositories

    • amadeus-formal

      Public
      using symbiotic eda suite to formally verify our cache
      Verilog
      •
      GNU General Public License v3.0
      •0•3•0•0•Updated Sep 30, 2021Sep 30, 2021

    • amadeus-mips

      Public
      Assembly
      •
      GNU General Public License v3.0
      •1•14•0•0•Updated Nov 23, 2020Nov 23, 2020

    • amadeus-soc

      Public
      SoC for processor, to use with u-boot and linux
      0•0•0•0•Updated Oct 29, 2020Oct 29, 2020

    • amadeus-linux

      Public
      linux port to amadeus mips, based on linux 5.4.54 tarball
      C
      •
      Other
      •0•0•0•0•Updated Sep 9, 2020Sep 9, 2020

    • amadeus-uboot

      Public
      uboot port to amadeus mips, based on u-boot 2020.7.
      C
      •0•1•0•0•Updated Sep 9, 2020Sep 9, 2020

    • amadeus-bootloader

      Public
      an SPL for u-boot based on z4yx/supervisor-mips32
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 9, 2020Sep 9, 2020