From 730a376b32555dfbdf67dcd79071bbcdc7c08de3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Revol?= Date: Fri, 11 May 2012 02:17:38 +0200 Subject: [PATCH] Hardcode the boot platform for the Raspberry Pi * for now at least the board uses a custom boot platform. This way one only has to define HAIKU_BOOT_BOARD now. --- build/jam/board/raspberry_pi/BoardSetup | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/build/jam/board/raspberry_pi/BoardSetup b/build/jam/board/raspberry_pi/BoardSetup index 5ecce07b70..a2601d7ace 100644 --- a/build/jam/board/raspberry_pi/BoardSetup +++ b/build/jam/board/raspberry_pi/BoardSetup @@ -2,6 +2,10 @@ HAIKU_BOARD_DESCRIPTION = "Raspberry Pi" ; +# must force both since they are set before this file is read. +HAIKU_BOOT_PLATFORM = raspberrypi_arm ; +TARGET_BOOT_PLATFORM = raspberrypi_arm ; + # # Various hardcoded addresses #