66dd065163
sel4: use LOG console for non-core components
2015-05-26 09:40:01 +02:00
3259185bfc
sel4: import parent cap into non-core components
2015-05-26 09:40:01 +02:00
d6e3e47348
sel4: use core_printf for non-core components
...
This allows us to see debug messages printed at the eary initialization
of init (before init is able to obtain the regular LOG session). This
will be reverted as soon as the initialziation of the non-core base
environment works.
2015-05-26 09:40:00 +02:00
5a05521e0f
sel4: bootstrap of init and page-fault handling
2015-05-26 09:40:00 +02:00
f19f454ae5
sel4: move core to a libaray, add boot_modules.s
2015-05-26 09:39:59 +02:00
51f02340b6
sel4: avoid superfluous header re-generation
2015-05-26 09:39:59 +02:00
56ec0ad172
sel4: add base.mk lib to build and link init
2015-05-26 09:39:59 +02:00
ff46d02c48
sel4: capability lifetime management
2015-05-26 09:39:59 +02:00
262f52723b
sel4: block on first call if Ipc_istream::_wait
2015-05-26 09:39:58 +02:00
41b99a6b51
sel4: use yielding spinlock for 'Genode::Lock'
2015-05-26 09:39:58 +02:00
65a74cf5e0
sel4: complement base-common.mk
...
This patch extends the base-common library with the symbols needed to
link core.
2015-05-26 09:39:57 +02:00
c73b6e9c0d
sel4: move core console to core_printf library
2015-05-26 09:39:56 +02:00
e3cb8d48f7
sel4: never compile syscall-using code with -fPIC
2015-05-26 09:39:56 +02:00
52c4dc8ec8
sel4: print boot info
2015-05-26 09:39:54 +02:00
29f58dbd70
sel4: first syscall invokation
2015-05-26 09:39:54 +02:00
2b24593758
sel4: minimalistic roottask
2015-05-26 09:39:54 +02:00
456d81f517
New base-sel4 repository
2015-05-26 09:39:53 +02:00
