Lines Matching refs:xen
17 echo "${EXTRA_FIXED_RANDCONFIG}" >> xen/tools/kconfig/allrandom.config
20 make -j$(nproc) -C xen KCONFIG_ALLCONFIG=tools/kconfig/allrandom.config randconfig
26 make -C xen defconfig
28 echo "CONFIG_DEBUG=${debug}" >> xen/.config
31 echo "${EXTRA_XEN_CONFIG}" >> xen/.config
34 make -j$(nproc) -C xen olddefconfig
39 cp xen/.config xen-config
46 xen/scripts/xen-analysis.py --run-cppcheck --cppcheck-misra -- -j$(nproc)
49 cp xen/xen binaries/xen
50 cp xen/cppcheck-report/xen-cppcheck.txt xen-cppcheck.txt
53 make -j$(nproc) xen
56 cp xen/xen binaries/xen
104 if [[ -f xen/xen ]] ; then cp xen/xen binaries/xen; fi