1
0
mirror of https://github.com/rcore-os/rCore.git synced 2024-11-22 16:16:16 +04:00
rCore/tools
2019-04-17 10:50:50 +08:00
..
raspi-firmware update display configures in raspi-firmware/config.txt 2018-12-20 19:05:24 +08:00
u540 fix serial interrupt on HiFiveU 2019-03-19 18:23:10 +08:00
addr2line.py Fix addr2line for new format 2019-04-17 00:26:30 +08:00
gdbinit aarch64: bootable in qemu 2018-10-26 22:02:24 +08:00
pkttop.sh Add pkttop.sh, bump user and drivers version 2019-03-20 23:02:12 +08:00
syscall_64.tbl add linux syscall id:name:function table info 2019-04-17 10:50:50 +08:00