Re: Porting GuixSD to ARM article.

[Mathieu Othacehe]

Hi Danny,

> I've also tested our new "--system" facility which allows us to build the
> ARM image on x86_64 - but I'm sad to say that glibc has a bug which makes
> the build fail
> <https://sourceware.org/bugzilla/show_bug.cgi?id=22273>.

Oh too bad :(

> We could add a new argument to the kernel command line, or fish the tty
> out of the existing "console" kernel argument.
>
> We can boot the system via the vendor's u-boot (all ARM systems I've used
> have one) and our Linux kernel & GNU system.
>
> In the booted system, one can then reconfigure with u-boot (or not).
>
> That way, we'd have only one ARM image for all ARM (v7) systems.

The problem with the approach of no writing u-boot is when you're
preparing a blank SD card and expect to boot from it.

However, I agree we could try to generalize the agetty configuration
part by fishing the right console to user.

An other problem would be in the initrd were some target specific module
can be required to mount the rootfs ("omap_hsmmc" on BBB for example).

WDYT ?

Thanks,

Mathieu