diff --git a/pycheribuild/projects/disk_image.py b/pycheribuild/projects/disk_image.py index b7fe27f77..f79cb2aba 100644 --- a/pycheribuild/projects/disk_image.py +++ b/pycheribuild/projects/disk_image.py @@ -1011,6 +1011,7 @@ def add_unlisted_files_to_metalog(self): self.add_file_to_image(test_binary, base_directory=self.rootfs_dir) if self.include_pmc: + self.add_file_to_image(self.rootfs_dir / "sbin/kldload", base_directory=self.rootfs_dir) self.add_file_to_image(self.rootfs_dir / "usr/sbin/pmcstat", base_directory=self.rootfs_dir) # These dirs seem to be needed