ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-29 15:44:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/ports-foc/src/lib/l4lx
History
Stefan Kalkowski 84512869ed L4lx: fix initramfs part of 'L4Re to Genode' backend 
Implement the same semantic like L4Re for the initialization of the initramfs
dataspace. Although, it didn't lead to problems right now, this commit might
prevent future problems.
2013-01-03 20:51:49 +01:00
..
include
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01: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
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01:00
genode_framebuffer.cc
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01:00
genode_input.cc
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01:00
genode_net.cc
L4LX: Network interface fixes
2012-08-07 22:22:28 +02:00
genode_terminal.cc
Fiasco.OC: keep reference to capabilities in use.
2012-05-09 20:50:57 +02:00
l4_io.cc
L4Linux: make the l4lx library less verbose.
2012-08-07 22:24:23 +02:00
l4_log.cc
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +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
L4Linux: make the l4lx library less verbose.
2012-08-07 22:24:23 +02:00
l4_re_c_util_cap.cc
Fiasco.OC: several capability ref-counter fixes.
2012-09-03 10:59:54 +02:00
l4_re_env.cc
L4lx: fix initramfs part of 'L4Re to Genode' backend
2013-01-03 20:51:49 +01:00
l4_util_atomic.cc
Fiasco.OC: enable SMP for L4Linux
2012-09-14 12:30:29 +02: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
Fiasco.OC: enable SMP for L4Linux
2012-09-14 12:30:29 +02:00
l4lx_irq.cc
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01:00
l4lx_memory.cc
Bump year in copyright headers to 2012
2012-01-03 15:35:05 +01:00
l4lx_task.cc
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01:00
l4lx_thread.cc
L4lx: mask all VCPU IRQs when doing ipc (fix #553)
2012-12-18 09:31:46 +01:00
rm.cc
L4Linux: make the l4lx library less verbose.
2012-08-07 22:24:23 +02:00
startup.cc
Cleanup: remove 'first' and 'next' of cpu_session
2012-10-24 11:34:38 +02:00