imx8x: Fix description of usb boot target
authorDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Fri, 8 Nov 2019 09:43:51 +0000 (10:43 +0100)
committerDaniel Schwyn <daniel.schwyn@inf.ethz.ch>
Wed, 18 Mar 2020 14:15:02 +0000 (15:15 +0100)
Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

platforms/Hakefile

index a4ffde2..4939f70 100644 (file)
@@ -814,6 +814,6 @@ let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
       Str "--bf",
       In BuildTree "root" "/armv8_imx8x_image.efi"
     ]
-    "Boot Barrelfish on a Pandaboard, over a local USB cable"
+    "Boot Barrelfish on a Colibri board, over a local USB cable"
 
  ]