Added an INTEGRATED_DEVICE/INTEGRATED_DRIVER and RESOURCE type definitions. This is analogous to linux's platform_device.
Cleanup up timer API definition.
Cleanup up the UART API interface definition.
Cleanup up the CharDevice interface API definition.
Cleanup up the POWER state interface API definition.
Added a GPIO controller API interface definition.
Added an Interrupt Controller API interface definition.
Include the new device interface definitions.
Defined & implemented the GPIO API.
Moved interrupt interface.
Updated machines definition to use integrated devices.
Major updates to ARM GIC implementation. Basic functionality working.
Added a BCM2835 machine type (raspberrypi).
[BSP-ZYNQ] Updates to UART
[BSP-ZYNQ] Updates to Timer
[BSP-ZYNQ] Updates to Machine description.
[BSP-ZYNQ] Added GPIO driver.
[BSP-ZYNQ] Updates objects.mk and also added crtinit.s should it really be here?
RPi Updates to machine description.
[ARM] Updates to objects.mk