Include correct dependency files

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel

Other

29 stars 15 forks source link

Closed wom-bat closed 3 months ago

wom-bat commented 3 months ago

When OBJECTS were moved to a different directory tree, the dependency file names were not updated.

Also depend on ${SDDF}/include so upstream Makefiles can know to initialise the submodule.

Ivan-Velickovic commented 3 months ago

Fixes it for me locally.