Skip to content
View michaelengel's full-sized avatar

Block or report michaelengel

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. xv6-d1 xv6-d1 Public

    Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC

    C 107 11

  2. xv6-rv32 xv6-rv32 Public

    Port of MIT's xv6 OS to 32 bit RISC V

    C 43 19

  3. crosstalk crosstalk Public

    Smalltalk-80 bare metal implementation for the Raspberry Pi

    C 369 22

  4. litebsd litebsd Public

    LiteBSD for MIPS-based systems with some of my fixes

    C 7 3