CAmkES 2.1.0 Release Notes
- runner takes an
--architecturecommand line argument which selects the target architecture. Valid arguments are: aarch32, arm_hyp, ia32
- added the ability to specify a hardware dataport as cached. Previously all hardware dataports were mapped uncached. This feature is intended to be used on dataports backed by DMA-able memory to improve access times. Functions to flush dataports from the cache are also provided.
- support for seL4 3.0.0
--hypcommand line argument is replaced with
These were intended for use in templates, but are no longer used in any internal templates:
These had been deprecated for a long period and are now being removed: