Permalink

	Failed to load latest commit information.
	deps	Add README.rx, make README.md conform	May 25, 2018
	package	Cleanup CMakeLists.txt comments	May 25, 2018
	res	Move libsel4-sys to the top directory	May 15, 2018
	src	Migrate arm-sel4-fel4 target to armv7-sel4-fel4	May 22, 2018
	test_configs	Update exemplar fel4.toml	May 25, 2018
	.gitignore	Minor elaborations on docs, squash gitignores	May 21, 2018
	.gitmodules	Move libsel4-sys to the top directory	May 15, 2018
	CMakeLists.txt	Move libsel4-sys to the top directory	May 15, 2018
	Cargo.toml	Supply a starting public version	May 31, 2018
	LICENSE	Add licenses with some explanation	May 16, 2018
	README.md	Consistent code block command chaining	May 30, 2018
	README.rx	Use the revised README.rx with simplified dependencies section	May 30, 2018
	Xargo.toml	Migrate arm-sel4-fel4 target to armv7-sel4-fel4	May 22, 2018
	build.rs	Add aarch64/Tx1 target/platform support	May 23, 2018
	rust-toolchain	Update README with revised structure, add rust-toolchain	May 22, 2018