Adapt OMAP44xx spec to new sockeye
[barrelfish] / socs /
drwxr-xr-x   ..
-rw-r--r-- 501 Hakefile
-rw-r--r-- 24807 omap44xx.soc