andrey/rCore
1
0
Fork 0
mirror of https://github.com/rcore-os/rCore.git synced 2024-11-27 02:03:29 +04:00
Code Issues Projects Releases Wiki Activity
664 Commits 6 Branches 1 Tag 15 MiB
b47c4758bf
Commit Graph

2 Commits

Author SHA1 Message Date
WangRunji
56fcad245a update kernel to 2018 edition 2018-11-19 20:11:17 +08:00
WangRunji
10e3cea340 Only use Rust toolchain to build for rv32. Set arch to rv32i. x86_64 broken. 2018-08-05 00:24:36 +08:00