Norman Feske 61926ebc07 base: introduce platform_init function ... The new 'init_platform' function performs the platform-specific component-local low-level initialization. It allows for the differentiation between core and regular components as well as kernel-dependent peculiarities. This patch introduces a consistent notion of a 'Platform'. Within core, the 'Platform' contains the kernel-specific initialization. Outside core, the platform sets up the interplay with the parent component. In all cases, the platform is constructed while running on the initial stack. Issue #4784		2023-03-15 17:05:01 +01:00
..
doc	sel4: 3rd article - porting core to seL4	2015-05-26 09:40:02 +02:00
etc	base: remove SPEC variables of boards (fix #3971)	2021-01-25 13:58:09 +01:00
include/sel4	Adjust file headers to refer to the AGPLv3	2017-02-28 12:59:29 +01:00
lib	base: introduce platform_init function	2023-03-15 17:05:01 +01:00
mk/spec	Disambiguate kernel-specific file names	2016-12-23 16:51:32 +01:00
patches	sel4: fix build errors with gcc 10	2021-05-05 11:35:30 +02:00
ports	sel4: fix build errors with gcc 10	2021-05-05 11:35:30 +02:00
recipes/src	depot: update recipe hashes	2023-03-13 14:32:54 +01:00
src	core: replace use of Avl_string by Dictionary	2023-03-13 14:32:53 +01:00