Switch off Denver cores before starting Jailhouse

Jailhouse either crashes or hangs without this.

diff --git a/build/rootfs-overlay/etc/init.d/S20jailhouse.sh b/build/rootfs-overlay/etc/init.d/S20jailhouse.sh
index d3f988cb7237f51601a9750cb5b46b3b228c68ec..a4ddc367558fcc8bc7474dae062130b318153399 100644 (file)
--- a/build/rootfs-overlay/etc/init.d/S20jailhouse.sh
+++ b/build/rootfs-overlay/etc/init.d/S20jailhouse.sh
@@ -7,7 +7,10 @@ case "$1" in
     start)
        printf "Starting Jailhouse: "
        modprobe jailhouse
-       taskset 1 jailhouse enable /jailhouse/configs/jetson-tx2.cell
+       # Switch off Denver cores
+       echo 0 > /sys/devices/system/cpu/cpu1/online
+       echo 0 > /sys/devices/system/cpu/cpu2/online
+       jailhouse enable /jailhouse/configs/jetson-tx2.cell
        [ $? = 0 ] && echo "OK" || echo "FAIL"
        ;;
     stop)