base-foc: support for Raspberry Pi

Fixes #1596
2015-06-21 10:53:54 -04:00
parent 46b7227ef0
commit c60d65150e
10 changed files with 185 additions and 2 deletions
--- a/tool/run/boot_dir/foc
+++ b/tool/run/boot_dir/foc
@@ -93,6 +93,7 @@ proc bin_dir { } {
 	if {[have_spec x86_32]}  { return "[l4_dir]/bin/x86_586" }
 	if {[have_spec x86_64]}  { return "[l4_dir]/bin/amd64_K8" }
 	if {[have_spec arm_v7a]} { return "[l4_dir]/bin/arm_armv7a" }
+	if {[have_spec arm_v6]}  { return "[l4_dir]/bin/arm_armv6" }

 	puts stderr "Error: Cannot determine bin directory"
 	exit 1