From owner-freebsd-arm@freebsd.org  Wed Oct 19 00:33:35 2016
Return-Path: <owner-freebsd-arm@freebsd.org>
Delivered-To: freebsd-arm@mailman.ysv.freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by mailman.ysv.freebsd.org (Postfix) with ESMTP id 08A2FC150D1
 for <freebsd-arm@mailman.ysv.freebsd.org>;
 Wed, 19 Oct 2016 00:33:35 +0000 (UTC) (envelope-from db@db.net)
Received: from diana.db.net (diana.db.net [66.113.102.10])
 by mx1.freebsd.org (Postfix) with ESMTP id EF074B9D
 for <freebsd-arm@FreeBSD.org>; Wed, 19 Oct 2016 00:33:34 +0000 (UTC)
 (envelope-from db@db.net)
Received: from night.db.net (localhost [127.0.0.1])
 by diana.db.net (Postfix) with ESMTP id 413A12AA413
 for <freebsd-arm@FreeBSD.org>; Tue, 18 Oct 2016 18:32:36 -0600 (MDT)
Received: by night.db.net (Postfix, from userid 1000)
 id 375A51CDE4; Tue, 18 Oct 2016 20:33:26 -0400 (EDT)
Date: Tue, 18 Oct 2016 20:33:26 -0400
From: Diane Bruce <db@db.net>
To: freebsd-arm@FreeBSD.org
Subject: Raspberry Pi support
Message-ID: <20161019003326.GA4189@night.db.net>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
User-Agent: Mutt/1.6.1 (2016-04-27)
X-BeenThere: freebsd-arm@freebsd.org
X-Mailman-Version: 2.1.23
Precedence: list
List-Id: "Porting FreeBSD to ARM processors." <freebsd-arm.freebsd.org>
List-Unsubscribe: <https://lists.freebsd.org/mailman/options/freebsd-arm>,
 <mailto:freebsd-arm-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/freebsd-arm/>
List-Post: <mailto:freebsd-arm@freebsd.org>
List-Help: <mailto:freebsd-arm-request@freebsd.org?subject=help>
List-Subscribe: <https://lists.freebsd.org/mailman/listinfo/freebsd-arm>,
 <mailto:freebsd-arm-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 19 Oct 2016 00:33:35 -0000

I've updated my local copy of crochet to use the port


diff --git a/board/RaspberryPi3/setup.sh b/board/RaspberryPi3/setup.sh
index df33953..a9e042f 100644
--- a/board/RaspberryPi3/setup.sh
+++ b/board/RaspberryPi3/setup.sh
@@ -1,4 +1,4 @@
-KERNCONF=RPI3
+KERNCONF=GENERIC-UP
 RPI3_UBOOT_PORT="u-boot-rpi3"
 RPI3_UBOOT_BIN="u-boot.bin"
 RPI3_UBOOT_PATH="/usr/local/share/u-boot/${RPI3_UBOOT_PORT}"
@@ -10,10 +10,10 @@ TARGET=aarch64
 # from 'printenv' in boot0: kernel_addr_r=0x42000000
 #UBLDR_LOADADDR=0x42000000
 
-#rpi3_check_uboot ( ) {
-#    uboot_port_test ${RPI3_UBOOT_PORT} ${RPI3_UBOOT_BIN}
-#}
-#strategy_add $PHASE_CHECK rpi3_check_uboot
+rpi3_check_uboot ( ) {
+    uboot_port_test ${RPI3_UBOOT_PORT} ${RPI3_UBOOT_BIN}
+}
+strategy_add $PHASE_CHECK rpi3_check_uboot
 
 #
 # RPi3 uses EFI, so the first partition will be a FAT partition.
@@ -30,6 +30,17 @@ raspberry_pi_populate_boot_partition ( ) {
     echo bootaa64 > startup.nsh
     mkdir -p EFI/BOOT
 
+    cp ${UBOOT_PATH}/LICENCE.broadcom .
+    cp ${UBOOT_PATH}/README .
+    cp ${UBOOT_PATH}/bootcode.bin .
+    cp ${UBOOT_PATH}/fixup.dat .
+    cp ${UBOOT_PATH}/fixup_cd.dat .
+    cp ${UBOOT_PATH}/fixup_x.dat .
+    cp ${UBOOT_PATH}/start.elf .
+    cp ${UBOOT_PATH}/start_cd.elf .
+    cp ${UBOOT_PATH}/start_x.elf .
+    cp ${UBOOT_PATH}/u-boot.bin .
+
     # Populate config.txt
     echo "arm_control=0x200" > config.txt
     echo "dtparam=audio=on,i2c_arm=on,spi=on" >> config.txt
@@ -38,9 +49,6 @@ raspberry_pi_populate_boot_partition ( ) {
     echo "device_tree_address=0x100" >> config.txt
     echo "kernel=u-boot.bin" >> config.txt
 
-    # Fetch u-boot.bin from gonzo
-    fetch https://people.freebsd.org/~gonzo/arm/rpi3/u-boot.bin
-
     # Fetch all the firmware files
     firmware="bcm2710-rpi-3-b.dtb bootcode.bin fixup.dat start.elf"
     for i in ${firmware}; do

fetch http://people.FreeBSD.org/~db/arm/crochet_rpi3.diff

Diane
-- 
- db@FreeBSD.org db@db.net http://www.db.net/~db