Jiajie Chen 1f9d7cd323 Use prebuilt image correctly		2020-06-26 22:11:56 +08:00
..
src	move wait_for_interrupt from executor to kernel	2020-06-24 00:09:52 +08:00
targets	update Rust nightly to 2020-01-17. remove dependence of cargo-xbuild.	2020-01-29 11:57:14 +08:00
build.rs	Fix vfork	2020-06-16 17:09:44 +08:00
Cargo.lock	Use prebuilt image correctly	2020-06-26 22:11:56 +08:00
Cargo.toml	Use prebuilt image correctly	2020-06-26 22:11:56 +08:00
Makefile	aarch64: add bcm2835 sdhci as block driver	2020-06-21 18:55:29 +08:00
spec.md	Bump versions	2020-06-26 21:56:12 +08:00