diff --git a/code/README.md b/code/README.md index 97d43c414..618ee94d9 100644 --- a/code/README.md +++ b/code/README.md @@ -1,5 +1,5 @@ ## Target -CPU: i7-8650U (will get access on Friday) +CPU: i7-8650U (will get access on Friday) wrong Kernel: 6.8 (latest that was tested in the paper) Defense: CONFIG_STRICT_MODULE_RWX (D1) diff --git a/code/nix/kernel.nix b/code/nix/kernel.nix deleted file mode 100644 index 84d61ccc7..000000000 --- a/code/nix/kernel.nix +++ /dev/null @@ -1,5 +0,0 @@ -{ pkgs, ... }: { - boot = { - kernelPackages = pkgs.linuxPackages_6_8_hardened; - }; -} diff --git a/code/nix/vm.nix b/code/nix/vm.nix deleted file mode 100644 index 0c7c4da62..000000000 --- a/code/nix/vm.nix +++ /dev/null @@ -1,18 +0,0 @@ -{ ... }: { - microvm = { - volumes = [ { - mountPoint = "/var"; - image = "target.img"; - size = 256; - } ]; - shares = [ { - proto = "9p"; - tag = "ro-store"; - source = "/nix/store"; - mountPoint = "/nix/.ro-store"; - } ]; - - hypervisor = "qemu"; - socket = "control.socket"; - }; -} diff --git a/code/target.img b/code/target.img deleted file mode 100644 index 20e9137b1..000000000 Binary files a/code/target.img and /dev/null differ