Unikraft Xen helloworld - xen-troops/meta-xt-rpi5 GitHub Wiki

Unikraft helloworld sources

repo: https://github.com/unikraft/app-helloworld

commit: 1add85d531

Known working unikraft commit: RELEASE-0.17.0 (in workdir/unikraft)

Unikraft helloworld build

Follow general instructions in A "Hello, world!" Application on Unikraft.

Use configuration file my_config (the 'make menuconfig` can also be used).

ONFIG_ARCH_ARM_64=y
# CONFIG_ARM64_ERRATUM_858921 is not set
# CONFIG_ARM64_ERRATUM_835769 is not set
# CONFIG_ARM64_ERRATUM_843419 is not set
CONFIG_PLAT_KVM=n
CONFIG_LIBUKBUS=y
CONFIG_LIBUKSGLIST=y
CONFIG_UK_DEFNAME="helloworld"
CONFIG_UK_NAME="helloworld"


CONFIG_PLAT_XEN=y
CONFIG_XEN_HVMLITE=y

CONFIG_XEN_KERNEL_HV_CONSOLE=y
CONFIG_XEN_KERNEL_EMG_CONSOLE=n
CONFIG_XEN_DEBUG_HV_CONSOLE=y
CONFIG_XEN_DEBUG_EMG_CONSOLE=n

CONFIG_XEN_GNTTAB=y
CONFIG_LIBXEN_XENBUS=y

CONFIG_LIBUKINTCTLR_GICV2=y
CONFIG_LIBUKTTY_PL011=n

CONFIG_LIBUKLOCK=y
CONFIG_LIBUKLOCK_SPINLOCK=y
CONFIG_LIBUKLOCK_SEMAPHORE=y
CONFIG_LIBUKLOCK_MUTEX=y
CONFIG_LIBUKLOCK_RWLOCK=y

CONFIG_APPHELLOWORLD_SPINNER=y

Run below to build:

./scripts/setup.sh
cd workdir/unikraft
git checkout RELEASE-0.17.0
cd ../..
UK_DEFCONFIG=$(pwd)/my_config make defconfig
make prepare CROSS_COMPILE=<path>/zephyr-sdk-0.16.3/aarch64-zephyr-elf/bin/aarch64-zephyr-elf-
make  CROSS_COMPILE=<path>/zephyr-sdk-0.16.3/aarch64-zephyr-elf/bin/aarch64-zephyr-elf-

The Unikraft binary can be found at workdir/build/helloworld_xen-arm64

⚠️ **GitHub.com Fallback** ⚠️