Thanks to visit codestin.com
Credit goes to github.com

Skip to content

@rcore-os rCore OS

Change the repository type filter

Archived

    Repositories list

    3 repositories

    • downcast-rs

      Public archive
      Rust
      •
      Apache License 2.0
      •20•1•0•0•Updated Jun 28, 2020Jun 28, 2020

    • bootloader

      Public archive
      An experimental pure-Rust x86 bootloader
      Rust
      •
      Apache License 2.0
      •221•3•0•0•Updated Jun 27, 2019Jun 27, 2019

    • riscv-pk

      Public archive
      RISC-V Proxy Kernel
      C
      •
      Other
      •331•0•0•0•Updated Mar 19, 2019Mar 19, 2019