This website requires JavaScript.
Explore
Help
Sign In
andrey
/
rCore
Watch
1
Star
0
Fork
0
You've already forked rCore
mirror of
https://github.com/rcore-os/rCore.git
synced
2024-11-22 16:16:16 +04:00
Code
Issues
Projects
Releases
Wiki
Activity
1bba33a05f
rCore
/
tools
History
Jiajie Chen
cd2a2e23bb
Fix addr2line for new format
2019-04-17 00:26:30 +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