seL4/seL4_tools

ElfLoader should use monitor.S only if CONFIG_ARM_MONITOR_HOOK is set

axel-h opened this issue · 2 comments

The file monitor.S should only be compiled in (or it's content take into account), when CONFIG_ARM_MONITOR_HOOK is set. Otherwise the content should be ignored, so any accidental referenced make the build fail.

We ran into this issue when adding a new imx6 board platform, where we had to define something there to VECTOR_BASE even if this is not used anywhere because CONFIG_ARM_MONITOR_HOOK is not supported there.

See also #53

Resolved by #56