SwissMicros extensions to Free42 core To build ARM library go to console directory and follow instructions under 'ARM library build' in console/README.build.