Martin Stein 19398159e1 base-hw: use Genode::memcpy in base/ipc.cc ...

Ref #583

2013-01-08 11:36:52 +01:00

..

arm/base

Nested init on i.MX31 via base_hw. Rework base_hw.

2012-11-14 16:36:41 +01:00

base

base-hw: use Genode::memcpy in base/ipc.cc

2013-01-08 11:36:52 +01:00

cpu_session

Nested init on i.MX31 via base_hw. Rework base_hw.

2012-11-14 16:36:41 +01:00

kernel

base-hw: don't use 'long' unnecessarily

2013-01-08 11:36:52 +01:00

pl011/drivers

base-hw: ease core build

2013-01-08 11:36:52 +01:00

platform

base-hw & imx53: enable nested init

2013-01-08 11:36:52 +01:00

signal_session

base-hw: don't use 'long' unnecessarily

2013-01-08 11:36:52 +01:00

tl16c750/drivers

base-hw: ease core build

2013-01-08 11:36:52 +01:00

vm_session

Nested init on i.MX31 via base_hw. Rework base_hw.

2012-11-14 16:36:41 +01:00