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