Artemis Tosini 638b406f1a Add jlink		2020-10-02 03:16:20 +00:00
..
packages/jlink	Add jlink	2020-10-02 03:16:20 +00:00
patches	Add cursed patch for spike	2020-09-29 23:12:47 +00:00
rules	Remove unused packages, switch to bash as login shell to fix environment	2020-08-09 16:18:52 +00:00
systemd-boot-secure	Secure boot works!	2020-05-13 01:19:30 +00:00