mirror of
https://github.com/rcore-os/rCore.git
synced 2024-11-22 16:16:16 +04:00
61dfcb5558
# Conflicts: # kernel/Makefile # kernel/src/arch/aarch64/board/raspi3/irq.rs # kernel/src/arch/aarch64/memory.rs # kernel/src/arch/riscv32/paging.rs # kernel/src/arch/x86_64/paging.rs |
||
---|---|---|
.. | ||
k210 | ||
raspi-firmware | ||
gdbinit |