[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Load GUIXSD with customized u-boot
From: |
Brian Woodcox |
Subject: |
Re: Load GUIXSD with customized u-boot |
Date: |
Tue, 29 Oct 2019 18:38:30 -0600 |
Hi Farshid,
I am very newbie when it comes to arm and u-boot itself.
Thanks for the links you gave. It may help me in the future as I’m looking to
put guix on a pinebook pro.
You may want to look at the following link
http://git.savannah.gnu.org/cgit/guix.git/tree/gnu/bootloader/u-boot.scm
<http://git.savannah.gnu.org/cgit/guix.git/tree/gnu/bootloader/u-boot.scm>
You may glean some ideas on how guix setups up the u-boot for other devices
which may help you.
In particular is appears that you need (correct me if I’m wrong):
idbloader.img
u-boot.itb
Brian.
> On Oct 26, 2019, at 4:02 AM, Farshid Karimi <address@hidden> wrote:
>
> Hello
>
> I want to load guixsd on an arm-based board "rock pi4".
> from like this site (https://github.com/radxa/rockchip-bsp) i can generate
> custom u-boot and kernel for this board.
> If i have a generated u-boot.img how can i run guixsd as kernel.(like this
> tutorial: https://guix.gnu.org/blog/2017/porting-guixsd-to-armv7/)
> how i can customize u-boot and then use it beside an guixsd?
>
> Regards.