Stefan Kalkowski b10b9e20a2 block: support for block number >32 bit (Fix #968)

2013-12-19 11:34:04 +01:00

..

acpi

acpi: print RMRR region (not just base)

2013-12-09 10:49:16 +01:00

ahci

block: support for block number >32 bit (Fix #968)

2013-12-19 11:34:04 +01:00

atapi

block: support for block number >32 bit (Fix #968)

2013-12-19 11:34:04 +01:00

audio_out/linux

Merge base libraries into a single library

2013-02-19 14:45:55 +01:00

framebuffer

FB & omap4: fix mix-up of _fb_height and _fb_width

2013-12-03 10:40:23 +01:00

gpio

omap4 & gpio_drv: add config lib

2013-11-14 19:56:39 +01:00

input

imx53: add missing break to input driver (fix #957)

2013-11-25 09:46:08 +01:00

nic

Merge base libraries into a single library

2013-02-19 14:45:55 +01:00

pci

os: Move Genode::Config into 'config' library

2013-09-23 14:25:58 +02:00

platform

rpi: Framebuffer and platform drivers

2013-11-25 09:46:09 +01:00

rtc/x86

Merge base libraries into a single library

2013-02-19 14:45:55 +01:00

sd_card

block: support for block number >32 bit (Fix #968)

2013-12-19 11:34:04 +01:00

timer

rpi: centralize spec of interrupt names

2013-11-14 19:56:39 +01:00

uart

Follow-follow-up fix for "hw: basic support..."

2013-12-09 14:05:53 +01:00