From mboxrd@z Thu Jan  1 00:00:00 1970
From: Brian Woodcox <bw@inskydata.com>
Subject: Re: Load GUIXSD with customized u-boot
Date: Tue, 29 Oct 2019 18:38:30 -0600
Message-ID: <C1FB98FB-F063-42BE-90F2-CCCE202F9FA0@inskydata.com>
References: <CAL0x6=+-4DzX-sCzvBUfQQB+H3QcUiS1QgO_Vis5H21S=VjoAA@mail.gmail.com>
Mime-Version: 1.0 (Mac OS X Mail 11.3 \(3445.6.18\))
Content-Type: text/plain;
	charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:470:142:3::10]:59422)
 by lists.gnu.org with esmtp (Exim 4.90_1)
 (envelope-from <bw@inskydata.com>) id 1iPc1I-0002zH-K8
 for help-guix@gnu.org; Tue, 29 Oct 2019 20:39:29 -0400
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <bw@inskydata.com>) id 1iPc1F-0001o8-FO
 for help-guix@gnu.org; Tue, 29 Oct 2019 20:39:27 -0400
Received: from mail.inskydata.com ([184.68.229.6]:4309
 helo=server.inskydata.com) by eggs.gnu.org with esmtp (Exim 4.71)
 (envelope-from <bw@inskydata.com>) id 1iPc1B-0001b8-HV
 for help-guix@gnu.org; Tue, 29 Oct 2019 20:39:23 -0400
In-Reply-To: <CAL0x6=+-4DzX-sCzvBUfQQB+H3QcUiS1QgO_Vis5H21S=VjoAA@mail.gmail.com>
List-Id: <help-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <https://lists.gnu.org/archive/html/help-guix>
List-Post: <mailto:help-guix@gnu.org>
List-Help: <mailto:help-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/help-guix>,
 <mailto:help-guix-request@gnu.org?subject=subscribe>
Errors-To: help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org
Sender: "Help-Guix" <help-guix-bounces+gcggh-help-guix=m.gmane.org@gnu.org>
To: Farshid Karimi <farshidk49@gmail.com>
Cc: help-guix@gnu.org

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=E2=80=99=
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=E2=80=99m =
wrong):

idbloader.img
u-boot.itb

Brian.


> On Oct 26, 2019, at 4:02 AM, Farshid Karimi <farshidk49@gmail.com> =
wrote:
>=20
> Hello
>=20
> 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?
>=20
> Regards.