Ok. I've found the solution reading here :
https://cgit.freebsd.org/src/diff/share/man/man5/src.conf.5?id=ce37de8e05b233bc50de2c7678ee841573e6a7e2So on FreeBSD 15.0-CURRENT I did :
nano /etc/src.conf
WITH_KERNEL_BIN=1
(WITH_KERNEL_BIN is wrong)
$ cd /usr
$ git clone
https://gitlab.com/ehem/freebsd-src.git$ cd freebsd-src
$ make KERNCONF=GENERIC TARGET=arm TARGET_ARCH=armv7 buildkernel
$ make KERNCONF=GENERIC TARGET=arm TARGET_ARCH=armv7 DESTDIR=/build-xen installkernel
Unfortunately I get this error :
kldxref: /build-xen/boot/kernel/kernel: no ELF relocation table foundand the kernel.bin file is not generated.
experiment n. 2 : I have removed the parameter WITH_KERNEL_BIN=1 from /etc/src.conf ;
I've added the parameter :
makeoptions WITH_KERNEL_BIN=1
to the kernel file called GENERIC on "/usr/freebsd-src/sys/amd64/conf"
and then I've launched again the compilation :
$ make KERNCONF=GENERIC TARGET=arm TARGET_ARCH=armv7 buildkernel
$ make KERNCONF=GENERIC TARGET=arm TARGET_ARCH=armv7 DESTDIR=/build-xen installkernel
Unfortunately I've got the same error as before and the kernel.bin file hasn't been produced as well.
Mario.