genode/repos/base-okl4/src
Martin Stein 23f35370a2 core: generic ROM module initialization
For most base platforms (except linux and sel4), the initialization of
boot modules is the same. Thus, merge this default implementation in the
new unit base/src/core/platform_rom_modules.cc.

Ref #2490
2017-08-28 16:49:36 +02:00
..
core core: generic ROM module initialization 2017-08-28 16:49:36 +02:00
include Adjust file headers to refer to the AGPLv3 2017-02-28 12:59:29 +01:00
kernel/okl4 mk: strip binaries at <build-dir>/bin/ 2017-05-02 15:29:03 +02:00
lib core: simplify initialization 2017-05-31 13:16:12 +02:00