Compilation Error finding opt_sva_mmu.h:

[ndauten]

so I cloned the PerspicuOS github repo and built the nk directory,
(which apparently succeeded). However, when trying to build the FreeBSD9 directory, it gave me this error (I used "make buildworld"):

Error: No such file: "opt_sva_mmu.h"
In file included from /root/PerspicuOS/FreeBSD9/lib/libc/stdlib/malloc.c:177:/usr/obj/root/PerspicuOS/FreeBSD9/tmp/usr/include/machine/cpufunc.h:44:25: error mkdep: compile failed
*** Error code 1
Stop in /root/PerspicuOS/FreeBSD9/lib/libc

[ndauten]

@nestedkernel/devs has anyone run into this error and solved it?

[ndauten]

Get access to implementations for exploring real attacks

[ndauten]

@jtcriswell have you seen this error or fixed it?

[jtcriswell]

In the SVA source code (KCoFI and Virtual Ghost), we've only built the kernel (make buildkernel) after patching the kernel source code. It is possible that something in the user-space code is including a kernel header file that includes opt_sva_mmu.h and that it's not using the proper -I argument to find the SVA header files. Perhaps this is the problem?

[ndauten]

So @jtcriswell you're saying we need to build in an out of tree directory that has the FreeBSD patches and that does not hook into the normal FreeBSD style build?

[dage12]

@ndauten I actually have this issue in both cases: when doing "make buildkernel KERNCONF=NK" from a patched FreeBSD source directory and from /usr/src.