Compiling the HAL Branch for GCC

There are a few good answers in there