dde_ipxe: use recent iPXE upstream version
Adapt i.MX53 fb driver to GPIO session changes
hw_arndale: use core local timer in kernel

Ref #706
hw_arndale: userland timer driver

Ref #706
base-hw: flush cached zeroes in 'clear_ds(...)'

Ref #706
ahci_drv: separate PCI specifics from the rest

Ref #706
os: helper Attached_mmio

Genode::Attached_mmio is the fusion of Genode::Attached_io_mem_dataspace
and Genode::Mmio.

Ref #706
base: Mmio::wait_for(...) for whole registers

Ref #706
ahci_drv: basic support for exynos 5

This is a first version of the AHCI driver. It supports SATA HDDs
with UDMA-133 only, up to 6 Gbps and native command queueing.
The more blocks one transfers with one command, the higher is the
chance that the driver produces a fatal handshake error. Nevertheless
the driver is stable with one block per ATA command. Although NCQ is
used the driver doesn't queue multiple commands simultanously.

The driver was tested with a western digital HDD "WDC WD2500BEVS-08VAT1
13.01A13" (250 GB) with hw_arndale (run/ahci) and foc_arndale
(run/ahci, run/l4linux: dd). SSDs were not tested.

Fix #706
Update run scripts using usb_drv (fix #744)

Updates all run scripts, which use the usb_drv to enable the appropriated
USB host controllers.
hw: fully functional Thread_base::cancel_blocking

Thread_base::cancel_blocking brings a thread back to execution
from every state, except the thread is created but not started yet.

Fix #745
Implement LCD output and config parsing for omap4

Fixes #743
usb: Storage support for ARM
Window-resize support for liquid_fb

Related to #740.
liquid_fb: dynamic reconfiguration support

With this patch, 'liquid_framebuffer' can be reconfigured at runtime.
The configuration arguments are now provided as XML attributes, matching
those for 'nit_fb'. Furthermore, two new configuration options are added:

<config ...
  resize_handle="off" - show/hide a resize handle widget in the lower
                        right window corner
  decoration="on"     - show/hide window decoration
                        (title bar and borders)
/>

Fixes #740
Fixes #14
base-linux: add ARM support

This patch introduces a new platform 'linux_arm' for building and running
Genode/Linux on an ARM device.

Known limitations:

- libc 'setjmp()'/'longjmp()' doesn't currently save/restore floating
  point registers

Fixes #746.
Fix typo in run tool
Make NETIO-230B power plug configureable
Increase flexibility for serial devices in run-tool

Instead of using a fixed command like picocom in the run tool,
it's better to have the flexibility to set the whole command that
connects to the serial device. Therefore, it's possible for instance
to connect to a remote serial device exported via TCP/IP by using tools
like socat.
Release notes for Genode 13.05