diff --git a/br-ext/board/qemu/overlay/bin/domu b/br-ext/board/qemu/overlay/bin/domu new file mode 100755 index 0000000000000000000000000000000000000000..c4911ae9f3d870ab52087d8411ef0287b0feb53f --- /dev/null +++ b/br-ext/board/qemu/overlay/bin/domu @@ -0,0 +1,26 @@ +#!/bin/sh + +# Helper script to create Xen DomU and switch to it. +# To be used on QEMUv8 from a Dom0 root shell. For example: +# +# optee_qemu_v8/build $ make -j10 XEN_BOOT=y run +# ... +# Welcome to Buildroot, type root or test to login +# buildroot login: root +# # domu +# ... +# Welcome to Buildroot, type root or test to login +# buildroot login: test +# $ xtest +# ... + +if [ $(id -u) -ne 0 ]; then + echo $0: please run as root. + exit 1 +fi + +set -e +set -v +cd /mnt/host/build/qemu_v8/xen +xl create guest.cfg +xl console domu