Norman Feske e4906ef777 Remove unused GTA01 platform support ...

This platform (originally added to support the GP2X handheld console)
remains untouched since half a decade.

2015-04-17 16:13:21 +02:00

..

acpi

acpi: amend handling MMIO regions for ACPI tables

2015-02-27 11:40:59 +01:00

ahci

ahci: avoid to reinstantiate backend driver

2015-01-12 14:24:55 +01:00

atapi

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

audio_out/linux

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

framebuffer

fb_sdl: set size from config

2015-03-13 12:17:24 +01:00

gpio

gpio_drv: prevent copy of non-copyable objects

2014-06-06 14:54:32 +02:00

input

os: Move Ring_buffer to Genode namespace

2015-04-17 16:13:21 +02:00

nic

base: use reference for ascii_to output argument

2015-04-17 16:13:19 +02:00

pci

pci: allocate below 3G physical for 32bit & iommu

2015-02-16 13:40:38 +01:00

platform

Remove unused GTA01 platform support

2015-04-17 16:13:21 +02:00

rtc/x86

os: structured timestamp in Rtc session

2015-02-16 13:40:34 +01:00

sd_card

SD-card driver for the Raspberry Pi

2015-04-09 16:04:47 +02:00

timer

base,os: Coding-style unification

2015-03-13 12:17:23 +01:00

uart

uart_drv: enable RX channel for exynos5 driver

2015-02-27 11:48:05 +01:00