7 Commits

Author	SHA1	Message	Date
Christian Prochaska	b38fee2867	L4Linux stability improvements ... - search for alternative virtual address regions upwards, starting from the given start address, in the 'l4re_rm_attach()' and 'Region_manager::reserve_range()' functions - don't treat memory locations above 0x80000000 in l4linux's virtual address space as device memory - align the start address of the vmalloc area according to the assumption in 'devicemaps_init()' Fixes #414.	2013-03-18 13:06:06 +01:00
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
Norman Feske	73ab30c22c	Update copyright headers to 2013	2013-01-10 21:44:47 +01:00
Stefan Kalkowski	62e0dd579e	L4lx: eliminate needless Dataspace_client declaration.	2013-01-03 20:51:52 +01:00
Stefan Kalkowski	5118b5e1e6	L4Linux: make the l4lx library less verbose.	2012-08-07 22:24:23 +02:00
Norman Feske	08ce32215d	Bump year in copyright headers to 2012	2012-01-03 15:35:05 +01:00
Genode Labs	da4e1feaa5	Imported Genode release 11.11	2011-12-22 16:19:25 +01:00