65 Commits

Author	SHA1	Message	Date
Norman Feske	3259185bfc	sel4: import parent cap into non-core components	2015-05-26 09:40:01 +02:00
Norman Feske	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
Norman Feske	5a05521e0f	sel4: bootstrap of init and page-fault handling	2015-05-26 09:40:00 +02:00
Norman Feske	f19f454ae5	sel4: move core to a libaray, add boot_modules.s	2015-05-26 09:39:59 +02:00
Norman Feske	51f02340b6	sel4: avoid superfluous header re-generation	2015-05-26 09:39:59 +02:00
Norman Feske	56ec0ad172	sel4: add base.mk lib to build and link init	2015-05-26 09:39:59 +02:00
Norman Feske	ff46d02c48	sel4: capability lifetime management	2015-05-26 09:39:59 +02:00
Norman Feske	262f52723b	sel4: block on first call if Ipc_istream::_wait	2015-05-26 09:39:58 +02:00
Norman Feske	41b99a6b51	sel4: use yielding spinlock for 'Genode::Lock'	2015-05-26 09:39:58 +02:00
Norman Feske	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
Norman Feske	c73b6e9c0d	sel4: move core console to core_printf library	2015-05-26 09:39:56 +02:00
Norman Feske	52c4dc8ec8	sel4: print boot info	2015-05-26 09:39:54 +02:00
Norman Feske	29f58dbd70	sel4: first syscall invokation	2015-05-26 09:39:54 +02:00
Norman Feske	2b24593758	sel4: minimalistic roottask	2015-05-26 09:39:54 +02:00
Norman Feske	456d81f517	New base-sel4 repository	2015-05-26 09:39:53 +02:00