projects
/
barrelfish
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
(parent:
6d5ab0f
)
platforms: take care of copying the new menu.lst
author
Reto Achermann
<reto.achermann@inf.ethz.ch>
Sat, 25 Feb 2017 09:27:12 +0000 (10:27 +0100)
committer
Reto Achermann
<reto.achermann@inf.ethz.ch>
Thu, 16 Mar 2017 07:14:52 +0000 (08:14 +0100)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
platforms/Hakefile
patch
|
blob
|
history
diff --git
a/platforms/Hakefile
b/platforms/Hakefile
index
92f7fa5
..
5ef126a
100644
(file)
--- a/
platforms/Hakefile
+++ b/
platforms/Hakefile
@@
-523,6
+523,9
@@
let bin_rcce_lu = [ "/sbin/" ++ f | f <- [
Rules [ copyFile SrcTree "root" ("/hake/menu.lst." ++ p)
"root" ("/platforms/arm/menu.lst." ++ p)
| p <- [ "armv8_a57v",
+ "armv8_a57v_1",
+ "armv8_apm88xxxx",
+ "armv8_cn88xx",
"armv7_a9ve_1",
"armv7_a9ve_4",
"armv7_a15ve_1",