Configuration for linux on ARM (contributed by Jeremy Norris