ehmry/genode
ehmry/genode
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
e20b773bef
genode/base-hw/src/core/include
History
Martin Stein e20b773bef hw & arm: use sp to hand out main UTCB pointer 
Also don't hand out UTCB pointers to cores main thread and to threads
other than main threads.

Ref #766
2013-07-05 12:37:42 +02:00
..
assert.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
cpu_thread_allocator.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
platform_pd.h base-hw: store Platform_pd pointer in Kernel::Pd 2013-04-09 14:24:25 +02:00
platform_thread.h hw & arm: use sp to hand out main UTCB pointer 2013-07-05 12:37:42 +02:00
platform.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
signal_root.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
signal_session_component.h base-hw: destroy signal contexts, generic signal.h 2013-02-22 20:28:28 +01:00
trustzone.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
util.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
vm_root.h Update copyright headers to 2013 2013-01-10 21:44:47 +01:00
vm_session_component.h Extend base-hw specific vm-session (fix #738) 2013-05-10 11:16:13 +02:00