I assume that to run xen on -current/amd64, I need from pkgsrc xentools41 and xenkernel41? When trying to compile xenkernel41, I get: domain.c: In function 'hypercall_create_continuation': domain.c:1595:5: error: implicit declaration of function '__builtin_stdarg_start' Is this maybe because I am using "HAVE_GCC=45" ? Cheers, Patrick