Norman Feske db8058c16f Add x86_32 requirement to AHCI and ACPI drivers

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

..

ahci.run

Add x86_32 requirement to AHCI and ACPI drivers

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

demo.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

ldso.run

Merge final fixes from internal repositories

2011-12-23 14:04:29 +01:00

part_blk.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

rom_blk.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

sd_card.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

signal.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

tar_rom.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

timed_semaphore.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00

uart.run

Imported Genode release 11.11

2011-12-22 16:19:25 +01:00