Norman Feske 5cd099ed90 OMAP4 SD card driver ...

The new SD card driver at 'os/src/drivers/sd_card/omap4' allows the use
of an SD card with the Pandaboard as block service. Currently, the
driver is using PIO, no DMA, and no IRQs. The driver can be tested using
the 'os/run/sd_card.run' script.

2012-07-09 15:51:51 +02:00

..

acpi

Introduce server-role member to 'Child' class

2012-05-29 13:54:59 +02:00

ahci

Add x86_32 requirement to AHCI and ACPI drivers

2012-03-16 14:53:56 +01:00

atapi

ATAPI driver support for re-opening sessions

2012-01-25 12:58:41 +01:00

audio_out/linux

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

framebuffer

Add bitfield polling support to MMIO framework

2012-07-09 15:07:32 +02:00

input

Qt-based media player

2012-05-29 13:55:00 +02:00

nic

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

pci

Increase stack size of entry points

2012-05-09 20:55:48 +02:00

platform/gta01

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

rtc/x86

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

sd_card

OMAP4 SD card driver

2012-07-09 15:51:51 +02:00

timer

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00

uart

Bump year in copyright headers to 2012

2012-01-03 15:35:05 +01:00