|
foureighty
|
user hardened kernel on foureighty
|
2021-02-06 11:15:26 +00:00 |
|
skinnyv
|
add hardware config for skinny
|
2021-02-28 14:23:28 +00:00 |
|
i32emulation.nix
|
extract i32 emulation
|
2020-02-02 10:03:09 +00:00 |
|
thinky.nix
|
thinky to use new kernel
|
2020-01-19 22:58:32 +01:00 |
|
vm.nix
|
use hardened kernel only for some machines
|
2019-07-10 17:38:47 +01:00 |
