domainbuilder: detail: xc_dom_allocate: cmdline="(null)", features="(null)"
domainbuilder: detail: xc_dom_kernel_file: filename="ultraled.bin"
domainbuilder: detail: xc_dom_boot_xen_init: ver 4.9, caps xen-3.0-aarch64 xen-3.0-armv7l
domainbuilder: detail: xc_dom_rambase_init: RAM starts at 40000
domainbuilder: detail: xc_dom_parse_image: called
domainbuilder: detail: xc_dom_find_loader: trying multiboot-binary loader ...
domainbuilder: detail: loader probe failed
domainbuilder: detail: xc_dom_find_loader: trying Linux zImage (ARM64) loader ...
domainbuilder: detail: loader probe OK
domainbuilder: detail: xc_dom_parse_zimage64_kernel: called
domainbuilder: detail: xc_dom_parse_zimage64_kernel: xen-3.0-aarch64: 0x40000000 -> 0x4000b080
domainbuilder: detail: xc_dom_devicetree_mem: called
domainbuilder: detail: xc_dom_mem_init: mem 8 MB, pages 0x800 pages, 4k each
domainbuilder: detail: xc_dom_mem_init: 0x800 pages
domainbuilder: detail: xc_dom_boot_mem_init: called
domainbuilder: detail: set_mode: guest xen-3.0-aarch64, address size 64
domainbuilder: detail: populate_guest_memory: populating RAM @ 0000000040000000-0000000040800000 (8MB)
domainbuilder: detail: populate_one_size: populated 0x4/0x4 entries with shift 9
domainbuilder: detail: meminit: placing boot modules at 0x407ff000
domainbuilder: detail: meminit: devicetree: 0x407ff000 -> 0x40800000
domainbuilder: detail: xc_dom_build_image: called
domainbuilder: detail: xc_dom_pfn_to_ptr_retcount: domU mapping: pfn 0x40000+0xc at 0x7f91b8d000
domainbuilder: detail: xc_dom_alloc_segment:   kernel       : 0x40000000 -> 0x4000c000  (pfn 0x40000 + 0xc pages)
domainbuilder: detail: xc_dom_load_zimage_kernel: called
domainbuilder: detail: xc_dom_load_zimage_kernel: kernel seg 0x40000000-0x4000c000
domainbuilder: detail: xc_dom_load_zimage_kernel: copy 45184 bytes from blob 0x7f91b99000 to dst 0x7f91b8d000
domainbuilder: detail: xc_dom_pfn_to_ptr_retcount: domU mapping: pfn 0x407ff+0x1 at 0x7f92186000
domainbuilder: detail: xc_dom_alloc_segment:   devicetree   : 0x407ff000 -> 0x40800000  (pfn 0x407ff + 0x1 pages)
domainbuilder: detail: alloc_magic_pages: called
domainbuilder: detail: alloc_pgtables_arm: called
domainbuilder: detail: xc_dom_build_image  : virt_alloc_end : 0x40800000
domainbuilder: detail: xc_dom_build_image  : virt_pgtab_end : 0x0
domainbuilder: detail: xc_dom_boot_image: called
domainbuilder: detail: bootearly: doing nothing
domainbuilder: detail: xc_dom_compat_check: supported guest type: xen-3.0-aarch64 <= matches
domainbuilder: detail: xc_dom_compat_check: supported guest type: xen-3.0-armv7l
domainbuilder: detail: setup_pgtables_arm: called
domainbuilder: detail: clear_page: pfn 0x39000, mfn 0x39000
domainbuilder: detail: clear_page: pfn 0x39001, mfn 0x39001
domainbuilder: detail: start_info_arm: called
domainbuilder: detail: domain builder memory footprint
domainbuilder: detail:    allocated
domainbuilder: detail:       malloc             : 19448 bytes
domainbuilder: detail:       anon mmap          : 0 bytes
domainbuilder: detail:    mapped
domainbuilder: detail:       file mmap          : 44 kB
domainbuilder: detail:       domU mmap          : 52 kB
domainbuilder: detail: vcpu_arm64: called
domainbuilder: detail: DTB 407ff000
domainbuilder: detail: Initial state CPSR 0x1c5 PC 0x40000000
domainbuilder: detail: xc_dom_gnttab_hvm_seed: called, pfn=0x38000
domainbuilder: detail: xc_dom_release: called
(XEN) IRQ 48 is already used by domain 1
libxl: error: libxl_create.c:1278:domcreate_launch_dm: Domain 4:failed give domain access to irq 48: Device or resource busy
libxl: error: libxl_domain.c:1003:libxl__destroy_domid: Domain 4:Non-existant domain
libxl: error: libxl_domain.c:962:domain_destroy_callback: Domain 4:Unable to destroy guest
libxl: error: libxl_domain.c:889:domain_destroy_cb: Domain 4:Destruction of domain failed