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
