Added profile config option#13

Open

Kswin01 wants to merge 7 commits intoIvan-Velickovic:devfrom

Kswin01:microkit_prof_dev

Commits on Jan 17, 2024

Added profile config option
Kswin01
committed

Commits on Feb 27, 2024

Added profile config option
Kswin01
committed

Commits on Mar 19, 2024

Merge pull request #1 from Ivan-Velickovic/dev
Kswin01
authored
Merge branch 'microkit_prof_dev' of github.com:Kswin01/sel4cp into microkit_prof_dev
Kswin01
committed

Commits on Apr 4, 2024

Added multicore support for maaxboard. Changed from IRQGetTrigger to IRQGetTriggerCore
Kswin01
committed
Switched from user setting target cpu to defaulting to the cpu affinity of the current pd
Kswin01
committed

Commits on Apr 26, 2024

Add libmicrokit get mr count
Kswin01
committed