search

seL4 / util_libs

Other
55 stars 83 forks source link

libplatsupport/bcm283x: Unite mailbox implementations #106

Closed lulu98 closed 3 years ago

lulu98 commented 3 years ago

Signed-off-by: Lukas Graber lukas.graber@hensoldt-cyber.de

lulu98 commented 3 years ago

Requires PR https://github.com/seL4/seL4/pull/608 to be merged.

lulu98 commented 3 years ago

In this PR, we now also remove the dependence on KernelArmMach. New platforms can simply extend the CMakeLists.txt file with an elseif-statement in order to declare a new mach identifier. That way we no longer have to define KernelArmMach in config.cmake in the seL4 kernel repository.

axel-h commented 3 years ago

The change look ok to me now. More feedback from other is appreciated if this is the way to go forward.