Merge branch 'kesl-proto2', remote-tracking branch 'simon/proto2' into kesl-proto2
add stdio.c that supports printf().
It supprots %x %X %d %s %c
printf() -> printh()
Merge branch 'proto2' of https://github.com/kesl/khypervisor into kesl-proto2
add printh function. include stdio.h and use that funtion.
format.c calls printh, and need not know uart's function.
merge proto2 with printf supported proto2
Include print.h, then can use printh(). do not need modify uart_print.c
remove stdio.c stdio.h instead add print.c print.h
remove puts() and putc() move format_puts and format_putc into format.c and make them static (not visible to outside of format.c)
puts_t -> format_puts_t putc_t -> format_putc_t
Merge pull request #32 from in1004kyu/kesl-proto2

Add printh function. It supports %x %X %d %s %c.
add pwm timer. It operates on arndale board. Test code in tests_gic_timer.c
add pwm timer It operates on arndale board. Test code in tests_gic_timer.c
remove garbage comment
modify test_gic_timer.c for pwm
Add pwm timer test function in tests.c and disable by macro definition.
remove blank line
remove changed history
adjust indent