Searched refs:xenvm (Results 1 – 4 of 4) sorted by relevance
1 .. xenvm:37 - :zephyr_file:`boards/xen/xenvm/Kconfig.defconfig`38 - :zephyr_file:`boards/xen/xenvm/xenvm_defconfig`61 - ``xenvm`` selects GICv262 - ``xenvm//gicv3`` selects GICv3104 $ west build -b xenvm samples/synchronization110 $ west build -b xenvm//gicv3 samples/synchronization124 When using ``xenvm//gicv3`` configuration, you need to remove the ``gic_version``151 thread_a: Hello World from cpu 0 on xenvm!152 thread_b: Hello World from cpu 0 on xenvm![all …]
8 default "xenvm" if SOC_XENVM
6 #include "xenvm.dts"
22 compatible = "xen,xenvm";
