Re: Booting the FreeBSD kernel as an zImage file needs a patch upgrade ?.

[Julien Grall <julien@xxxxxxx>]

On 07/01/2024 22:41, Mario Marietto wrote:
> Thanks to your valuable help,I've been able to produce the kernel.bin 
> file,applying the patch of Julien Grall to the Elliott Mitchell code and 
> enabling the parameter "WITH_KERNEL_BIN=1" to the FreeBSD kernel config 
> file. At this point I created a freebsd.cfg file like this one :
> name="freebsd"
> kernel="/mnt/zroot2/zroot2/OS/Chromebook/freebsd-xen/domU-freebsd/bootloaders/kernel.bin"
> extra = "console=hvc0"
> memory=512
> vcpus=1
> disk = [ 'FreeBSD-13.2-RELEASE-armv7.img,raw,xvda' ]
>
> and with this start-freebsd script :
>
> xl create freebsd.cfg
> xl console freebsd
>
> and ran it :
>
> # ./start-freebsd
>
> Parsing config from freebsd.cfg
> xc: error: panic: xg_dom_core.c:689: xc_dom_find_loader: no loader 
> found: Invalid kernel
> libxl: error: libxl_dom.c:571:libxl__build_dom: xc_dom_parse_image failed
> libxl: error: libxl_create.c:1640:domcreate_rebuild_done: Domain 
> 3:cannot (re-)build domain: -3
> libxl: error: libxl_domain.c:1183:libxl__destroy_domid: Domain 
> 3:Non-existent domain
> libxl: error: libxl_domain.c:1137:domain_destroy_callback: Domain 
> 3:Unable to destroy guest
> libxl: error: libxl_domain.c:1064:domain_destroy_cb: Domain 
> 3:Destruction of domain failed
> freebsd is an invalid domain identifier (rc=-6)
>
> It seems the same error that I always get. Should I make some 
> modification inside the FreeBSD-13.2-RELEASE-armv7.img image file ? 
> Because I haven't touched it ; it still has the default booting system 
> files.
What's the output of the command 'file'? Is this reporting an ELF or a 
binary?
If the latter, can you check where the zImage header is added at the 
front of the binary?
Cheers,

--
Julien Grall