7 Commits

Author	SHA1	Message	Date
Runji Wang	c2a80c54f9	x86_64: switch from legacy BIOS to UEFI. use rboot as new bootloader ... - remove dependencies: rust-osdev/{bootloader, bootimage} - remove kernel stack segment - find a bug: IDT should be initialized after GDT	2019-09-04 10:37:31 +08:00
WangRunji	e01d23e526	replace riscv-pk by OpenSBI !	2019-04-20 00:15:55 +08:00
WangRunji	6e7e9149ee	update URL to new organization	2019-03-18 01:14:30 +08:00
WangRunji	c69386fbc2	add rcore-user submodule	2019-02-21 18:35:10 +08:00
WangRunji	02eb7d9125	update 'riscv-pk' to upstream submodule	2018-11-29 00:00:52 +08:00
WangRunji	7229b49eb8	Use rust-lld for RV32. Remove riscv git submodule.	2018-10-30 13:30:20 +08:00
WangRunji	a44231435f	Fork crate riscv as a submodule	2018-07-05 14:17:30 +08:00