anchor.diff:  "
   
   do_configure() {
  -    cp ./ci/jailhouse-config-${JAILHOUSE_CONFIG}.h ./hypervisor/include/jailhouse/config.h
  +    cp ./ci/jailhouse-config-${JAILHOUSE_CONFIG}.h ./include/jailhouse/config.h
   }
   
   PARALLEL_MAKE = ""
  
positive.code: BRANCH = "plsdk_am57xx"
  SRC_URI = "git://git.ti.com/processor-sdk/jailhouse.git;branch=${BRANCH}"
  
  SRCREV = "238433e3f4203b23dc4bba9d09118a3608be1931"
  
  PV = "0.7"
  PR = "r1"
  
  PACKAGES =+ "${PN}-drivers ${PN}-firmware ${PN}-examples"
  RDEPENDS_${PN} += "${PN}-drivers ${PN}-firmware"
  
negative.code: FILES_${PN}-firmware = "${base_libdir}/firmware"
  FILES_${PN}-examples = "${datadir}/${PN}/examples"
  
  INSANE_SKIP_${PN} += "ldflags"
  
  CREATE_SRCIPK = "1"
  SRCIPK_INSTALL_DIR = "board-support/extra-drivers/${PN}-${PV}"
  