Exynos I2C: implement IRQ model for master RX
Exynos I2C: implement IRQ model for master TX
Sabre I2C: switch to IRQ model
Exynos I2C: trivial refactor of tx and rx start sequences
Exnos4: Draft PMIC RTC implementation
Exynos4 PMIC: refactor and clean up
GPIO: changed interface to accept {port, pin} as a single GPIO id argument. A family of GPIOID macros should be used to encode the id from a {port, pin} tuple.
imx6: create GPIO framework
imx32: enable serial interrupt

On KZM real hardware we rely on u-boot to have enabled the serial receive interrupt.
This doesn't work on qemu, where u-boot isn't usually run.
Turn on receive interrupt unconditionally when initialising the device.
Correctly calculate TSC frequency for timers that may not start counting at zero
#include missing io header for gpio
exynos4: define GPIO ports for left and right banks
Merge branch 'master' of ssh://github.inside.nicta.com.au/seL4/libplatsupport