inspecta-v1.0

Add domain scheduling support

inspecta-v0.5

A dirty version of microkit v1.4.1 which has SMC support. Enables KernelAllowSMCCalls for the zcu102 board. Disables RISC-V boards because they weren't needed.