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.
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.