WIP linux-libre 6.13 (Help wanted with device tree problems)

[Leo Famulari]

Here is a preliminary patch for linux-libre 6.13 (only x86_64 for now).

I need help getting it to work, due to build problems related to the
device tree, which I wouldn't have expected for x86_64.

It fails during the 'install' phase like this:

------
starting phase `install'
make[1]: *** No rule to make target 'dtbs_install'.  Stop.
make: *** [Makefile:251: __sub-make] Error 2
error: in phase 'install': uncaught exception:
%exception #<&invoke-error program: "make" arguments: 
("INSTALL_DTBS_PATH=/gnu/store/m585ngd1x96knkdmcnm7x964avr3r913-linux-6.13/lib/dtbs"
 "dtbs_install" "-j" "12") exit-status: 2 term-signal: #f stop-signal: #f> 
phase `install' failed after 1.5 seconds
command "make" 
"INSTALL_DTBS_PATH=/gnu/store/m585ngd1x96knkdmcnm7x964avr3r913-linux-6.13/lib/dtbs"
 "dtbs_install" "-j" "12" failed with status 2
build process 14 exited with status 256
note: keeping build directory `/tmp/guix-build-linux-6.13.drv-0'
builder for `/gnu/store/343fzyqx9s5v3hnpa642g223csb5xj5a-linux-6.13.drv' failed 
with exit code 1
------

It's weird, the Makefile does include a 'dtbs_install' target:

https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux.git/tree/Makefile?h=v6.13#n1483

There's only one device tree file in the build tree:

------
$ find . -name "*.dtb"
./top/linux-6.13/drivers/of/empty_root.dtb
------

And I found that, with linux 6.13, it's no longer possible to disable
CONFIG_OF, at least on my system. The documentation of this option:

------
"Device Tree and Open Firmware support" This option enables the device
tree infrastructure. It is automatically selected by platforms that need
it or can be enabled manually for unittests, overlays or
compile-coverage.
------

Any ideas?

0001-WIP-gnu-Add-linux-libre-6.13.patch
Description: Text document

signature.asc
Description: PGP signature