Stefan Kalkowski 0bc02b439a L4Linux: fix usage of l4_touch_xx (fix #682) ...

Use size in bytes, when touching memory via l4_touch_ro or l4_touch_rw, instead
of log2 size.

2013-03-14 10:50:14 +01:00

..

drivers

Fix l4linux block driver for large partitions

2013-03-08 12:09:53 +01:00

l4android

Imported Genode release 11.11

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

l4linux

Imported Genode release 11.11

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

lib/l4lx

L4Linux: fix usage of l4_touch_xx (fix #682)

2013-03-14 10:50:14 +01:00