From mboxrd@z Thu Jan 1 00:00:00 1970 From: Danny Milosavljevic Subject: Re: GuixSD on Olimex A20 OLinuXino? Date: Wed, 24 Jan 2018 15:24:18 +0100 Message-ID: <20180124152418.0ee22842@scratchpost.org> References: <20180122215320.16031.12314@vcs0.savannah.gnu.org> <20180122215323.99D4A207FC@vcs0.savannah.gnu.org> <87bmhj2w2u.fsf_-_@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:51153) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1eeLyZ-0000UK-MQ for guix-devel@gnu.org; Wed, 24 Jan 2018 09:24:32 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1eeLyU-0005s7-Pc for guix-devel@gnu.org; Wed, 24 Jan 2018 09:24:31 -0500 In-Reply-To: <87bmhj2w2u.fsf_-_@gnu.org> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Ludovic =?ISO-8859-1?Q?Court=E8s?= Cc: guix-devel@gnu.org Hi Ludo, > I have one of these (maybe not the =E2=80=9CLIME=E2=80=9D, but does it ma= ke a > difference?). =20 Yes, it makes a difference (in U-Boot only). Which one do you have? There's MICRO, LIME, LIME2 and additional variants with eMMC and without eMMC. Most of these should already have entries in gnu/system/install.scm . If not, one can easily add one (add entry to gnu/bootloader/u-boot.scm, inheriting from allwinner-bootload= er, and then add entry to gnu/system/install.scm using it) > How should I proceed? Is it enough to dump this on > microSD and boot? Yes. > I would actually write the final system rather than the installation > system given that =E2=80=98guix pull=E2=80=99 currently runs out of memor= y on that > device. You can also boot the image using qemu-system-arm -kernel ... -dtb ...=20 in order to directly load the Linux kernel (skipping u-boot). Then set everything up in there. Then copy the resulting image to the SD card. You'd just have to specify the correct bootloader form in the final system. (u-boot-a20-olinuxino-whatever-bootloader). Like this does: (define (adjust-bootloader os) (operating-system (inherit os) (bootloader (bootloader-configuration (bootloader u-boot-a20-olinuxino-whatever-bootloader) (target "/dev/mmcblk0")))))