Re: Custom libre kernel configuration

[Stefan]

Hi Petr!

> However, the CONFIG_ANDROID_BINDER_IPC is still not part of the config :-/

It is possible that these settings have conflicts or unfulfilled dependencies. 
Maybe try my patch series¹ and use the modify-linux function. It creates a 
defconfig file from a linux package and applies your settings to that. Beside 
the docstring of modify-linux, you can find a usage example in 
gnu/system/examples/raspberry-pi-64-nfs-root.tmpl.


Bye

Stefan


P. S. Did the guix system init work for your Raspberry? There was another hint 
to use --target=aarch64-linux-gnu and possibly --skip-checks.

¹ <http://issues.guix.gnu.org/48314#10> patches 2 and 4, patch 8 for the usage 
example