@@ -352,6 +352,9 @@ debian-12-ppc64le-gcc-debug:
CONTAINER: debian:12-ppc64le
KBUILD_DEFCONFIG: ppc64_defconfig
HYPERVISOR_ONLY: y
+ EXTRA_XEN_CONFIG: |
+ CONFIG_UBSAN=y
+ CONFIG_UBSAN_FATAL=y
debian-12-riscv64-gcc-debug:
extends: .gcc-riscv64-cross-build-debug
@@ -2,6 +2,7 @@ config PPC
def_bool y
select FUNCTION_ALIGNMENT_4B
select HAS_DEVICE_TREE
+ select HAS_UBSAN
select HAS_VMAP
config PPC64
@@ -47,7 +47,7 @@ void send_timer_event(struct vcpu *v)
void show_execution_state(const struct cpu_user_regs *regs)
{
- BUG_ON("unimplemented");
+ printk("TODO: Implement show_execution_state(regs)\n");
}
void arch_hypercall_tasklet_result(struct vcpu *v, long res)
Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com> --- CC: Shawn Anastasio <sanastasio@raptorengineering.com> This compiles, but something is up with the console and nothing useful comes out. Sample: https://gitlab.com/xen-project/people/andyhhp/xen/-/jobs/9079440897 --- automation/gitlab-ci/build.yaml | 3 +++ xen/arch/ppc/Kconfig | 1 + xen/arch/ppc/stubs.c | 2 +- 3 files changed, 5 insertions(+), 1 deletion(-)