ehmry/genode
ehmry
/
genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
genode/ports-foc/src/lib/l4lx
History
Stefan Kalkowski ac1ff2f5f8 Fiasco.OC: keep reference to capabilities in use. 
Due to recently introduces smart-pointers to Cap_index objects it's
necessary to always keep at least one reference as long as a corresponding
slot in the capability-space of a process is in use. This is especially
important for L4Linux that uses cap-slots directly without the given
abstractions of Genode.
 		2012-05-09 20:50:57 +02:00
..
include Fiasco.OC: keep reference to capabilities in use. 2012-05-09 20:50:57 +02:00
dataspace.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
env.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
genode_block.cc Fiasco.OC: keep reference to capabilities in use. 2012-05-09 20:50:57 +02:00
genode_framebuffer.cc Replace Framebuffer::info by Framebuffer::mode 2012-01-25 13:27:47 +01:00
genode_input.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
genode_net.cc Fiasco.OC: keep reference to capabilities in use. 2012-05-09 20:50:57 +02:00
genode_terminal.cc Fiasco.OC: keep reference to capabilities in use. 2012-05-09 20:50:57 +02:00
l4_io.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_log.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_re_c_dataspace.cc Fiasco.OC: Re-use existing capability selectors 2012-02-28 08:42:13 +01:00
l4_re_c_debug.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_re_c_mem_alloc.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_re_c_namespace.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_re_c_rm.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_re_c_util_cap.cc Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
l4_re_env.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_util_cpu.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_util_kip.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4_util_util.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4lx_irq.cc Fiasco.OC: keep reference to capabilities in use. 2012-05-09 20:50:57 +02:00
l4lx_memory.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
l4lx_task.cc Fiasco.OC: introduce Cap_index (fixes #149, #112) 2012-03-22 14:10:44 +01:00
l4lx_thread.cc L4Linux: fix changed name scope of enums. 2012-03-10 15:52:18 +01:00
rm.cc Bump year in copyright headers to 2012 2012-01-03 15:35:05 +01:00
startup.cc Fiasco.OC: keep reference to capabilities in use. 2012-05-09 20:50:57 +02:00