Re: How does system-disk-image work with embedded-style boot loaders?

2024-05-19 Thread Richard Sent
Richard Sent writes: > > Running fdisk on the image produces (emulated build due to > cross-compilation failures): > > gibraltar :( guix$ fdisk -l $(guix system image > gnu/system/images/pinebook-pro.scm --system=aarch64-linux) > Disk >

Re: How does system-disk-image work with embedded-style boot loaders?

2024-05-11 Thread Richard Sent
>> 2) install-rockpro64-rk3399-u-boot writes u-boot.itb at (* 16384 512), >> or 8,388,608, past the 2^20 offset in the image type. (Likely not >> coincidentally 8,388,608 / 8 = 1,048,576. I don't know what to make of this >> because it feels weird that bytes are used in one situation while >>

Re: How does system-disk-image work with embedded-style boot loaders?

2024-05-11 Thread Vagrant Cascadian
On 2024-05-11, Richard Sent wrote: > I'm a bit confused as to how a system image is generated when certain > bootloader types are used. For example, rockpro64-rk3399-u-boot. ... > From what I can tell this is a 4 step process. > > 1. Generate a genimage.cfg file via image->genimage-cfg. This does

How does system-disk-image work with embedded-style boot loaders?

2024-05-11 Thread Richard Sent
Hi Guix! I'm a bit confused as to how a system image is generated when certain bootloader types are used. For example, rockpro64-rk3399-u-boot. In (gnu bootloader u-boot) install-rockpro64-rk3399-u-boot has this definition: --8<---cut here---start->8---