3 Commits

Author	SHA1	Message	Date
Ehmry -	487207e150	Remove dead SDK references	2019-07-04 10:18:42 +02:00
Ehmry -	549e7df89b	WiP! absorb Genode upstream	2019-06-27 11:37:22 +02:00
Ehmry -	f35e62c9ce	Manage tooling with Nix ... Enter managed environment by invoking 'nix-shell' at the root of the repository.	2019-06-21 11:40:24 +02:00