Fix muting commands in top level Makefile
More verbose clean message in make file

Make it clearer to user which files are being removed by 'make clean'
Merge branch 'build-system' into development
Add linker script for concise linking

Basic linker script ensures head.o is located first in binary, and sets
entry point to _start.
Merge branch 'build-system' into development
Single character output via UART

Current UART settings are for VersatilePB board via qemu emulation.
Comment Makefile to make it easier to edit in future
Merge branch 'development' into startup
Add entry point to C code

C code begins at hyp_main, implemented in main/main.c

All fixes small issue with Makefile - C code compilation was missing -o flag,
and was not muted.
Target Cubietruck UART0 for early printing to UART

Target Cubietruck by linking hypervisor to 0x40000000 in RAM (beginning of RAM
on Cubietruck) and use UART0 to output serial data.
Create stack at boot time to prevent faulting in C code
Branch with link to hyp_main to ensure return from main function does not cause problems
Include minimal CFLAGS required for bare metal compilation.
Add rudimentary serial print support from C

Introduce the beginnings of printk support.

We can not print strings and hex data values to the serial port.
Simplify print_hex()
Add include directory to project structure
Fix missing sections in link script
Fix: corruption when loading at start of memory.

U-Boot uses the first part of RAM as scratch memory for loading
ELF files, thereby writing over our binary during loading. Moving
the binary up 0x8000 bytes bypasses this problem while keeping it low
in memory.
Initialise UART from scratch

Initalise UART from scratch to 8n1 with hardware flow control.
Add missing declaration of print_hex function