Short build instructions: a) Linux ln -s build-configurations/Platform-linux Platform ln -s build-configurations/Options-linux-debug Options make rebuild make tags b) 8051 using SDCC ln -s build-configurations/Platform-8051 Platform ln -s build-configurations/Options-8051-sim-debug Options make rebuild make tags Call doxygen from the root to generate documentation. c) Linux/ARM ln -s build-configurations/Platform-linux-arm Platform ln -s build-configurations/Options-linux-arm-debug Options