Sam,
I have a target platform w/ 2 pre-defined memory configs. I've
created separate .dts files w/ the different memory sizes and
then in src/plat/sparrow/config.cmake do:> if(KernelDebugBuild)
list(APPEND KernelDTSList "tools/dts/sparrow-debug.dts")
else()
list(APPEND KernelDTSList "tools/dts/sparrow.dts")
Overloading KernelDebugBuild is awkward (it seems contrary to
it's purpose) and fragile. How is this handled for existing
platforms?
You could try using "KernelCustomDTSOverlay", which came in
from https://github.com/seL4/seL4/pull/628.
Axel
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
