Backport OMAP44xx spec changes from page-tables branch
[barrelfish] / usr / skb / Hakefile
index 9662b11..67bd2b5 100644 (file)
@@ -12,7 +12,7 @@
 
 let ramfs_files = find inDir "programs" ".pl" ++
                   find inDir ("programs" </> "platforms") ".pl"
-    sockeyeFiles = [ "omap4460" ]
+    sockeyeFiles = [ "omap44xx" ]
     ramdisk = "/skb_ramfs.cpio.gz"
     args arch = application {
                         target = "skb",