Updating: improving libc/malloc.
Updating: improving libc/malloc.
Updating: adding one example.
Updating: miscellaneous minor changes.
Updating: adding libc/time.
Updating: add libc/sys/types.
Updating: improving libc/time.
Updating: improving libc/time.
Updating: adding some RD (read-only) annotations.
Updating: very minor.
Updating: minor tidying up.
Updating: adding pats_ccomp_memallc_gcbdw.h
Started adding a template based timer interface
Updating: supporting loop compilation.
Updating: adding pats_ccomp_loop
merge
Refactored the pwm example, fixed a bug in defining IO and memory mapped registers