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
..
1_OS	Reorganize docs.	2018-10-19 23:37:10 +08:00
2_OSLab	split Process and Thread	2019-01-25 23:28:48 +08:00
rcore-structures.drawio	add figure for some important rcore structures	2019-04-28 00:11:54 +08:00
uboot_raspi3.md	Add uboot instructions	2019-04-05 23:31:02 +08:00
x86_64.md	x86_64: switch from legacy BIOS to UEFI. use rboot as new bootloader	2019-09-04 10:37:31 +08:00