WangRunji
|
40b099ed79
|
clean riscv-pk in Makefile
|
6 years ago |
equation314
|
7746485861
|
aarch64: add target 'install' to Makefile
|
6 years ago |
|
equation314
|
cc936ded35
|
aarch64: bootable in qemu
|
6 years ago |
|
WangRunji
|
81196729e4
|
Fix RV32 atomic.
- Fix __atomic_compare_exchange_4().
- Add patch for core::sync::atomic.
- Revert kernel Mutex.
|
6 years ago |
|
equation314
|
1140d32aaa
|
add arch=aarch64 & board=raspi3 to Makefile
|
6 years ago |
|
WangRunji
|
5bc392f388
|
Enable RV32 IPI.
|
6 years ago |
|
WangRunji
|
72e92c07f9
|
Switch to RV64 GNU toolchain. Simplify compiler_rt.
|
6 years ago |
maoyuchaxue
|
f7b7b1bcd6
|
added workaround for atomic ops
|
6 years ago |
|
maoyuchaxue
|
6cf0d6db23
|
fixed setting in riscv-pk to enable rv32ia, added smp option in Makefile
|
6 years ago |
|
WangRunji
|
cd1bd55729
|
Update README, travis, riscv crate.
|
6 years ago |
|
WangRunji
|
224905f12c
|
Update Makefile
|
6 years ago |
|
WangRunji
|
caeff9ad97
|
Update packages and fit for new Rust nightly
|
6 years ago |
|
WangRunji
|
cbe7affc5d
|
Merge riscv for QEMU & FPGA
|
6 years ago |
|
WangRunji
|
ff8930a36c
|
Make frame allocator smaller. Fix serial stupid bug.
|
6 years ago |
|
WangRunji
|
3d0d6e3d02
|
Merge branch 'new-rv-toolchain' into board
# Conflicts:
# kernel/Makefile
# kernel/src/arch/riscv32/boot/entry.asm
|
6 years ago |
|
WangRunji
|
3d6fcb8d8c
|
Fix x86_64. Not elegant.
|
6 years ago |
|
WangRunji
|
10e3cea340
|
Only use Rust toolchain to build for rv32. Set arch to rv32i. x86_64 broken.
|
6 years ago |
|
WangRunji
|
296b6196f4
|
rv64 toolchain configure for riscv-pk
|
6 years ago |
|
WangRunji
|
b88648ff44
|
Fit for newest Rust nightly. x86_64 ok, riscv32 broken.
|
6 years ago |
|
WangRunji
|
7e5726845f
|
Simple bootloader. Remove riscv-pk.
|
6 years ago |
|
WangRunji
|
5647fb1273
|
Fix build guide
|
6 years ago |
|
WangRunji
|
c768ec3e1e
|
Recover fs for RV32. Add user-riscv.img
Now load user programs from SFS data linked at kernel.
|
6 years ago |
|
WangRunji
|
019770c92d
|
Modify build path
|
6 years ago |
|
WangRunji
|
c0138c4c35
|
Fix linking user program binaries
|
6 years ago |
|
WangRunji
|
4faa8a65ae
|
Move kernel to a new directory
|
6 years ago |
