simple: Define SIMPLE_SKIPPED_INIT_CAPS better

[Furao]

Make sure this macro is defined based on all possible configurations.

Required based on this change: seL4/seL4#1088

[kent-mcleod]

Thanks for putting this PR up @Furao ,

I think simple_default_nth_cap needs to also be updated to skip over the null caps correctly. It looks like it currently only handles the special x86 caps at the moment.

I think this also needs to account for seL4_CapSMMUSIDControl and seL4_CapSMMUCBControl caps which would be null if SMMUv2 isn't enabled.

[Furao]

Thanks for putting this PR up @Furao ,

No Problem

I think simple_default_nth_cap needs to also be updated to skip over the null caps correctly. It looks like it currently only handles the special x86 caps at the moment.

I think this also needs to account for seL4_CapSMMUSIDControl and seL4_CapSMMUCBControl caps which would be null if SMMUv2 isn't enabled.

Ok, I updated that function. I looked at that a bit ago when Axel first brought this issue up on the SMC patches, but I was confused by this function. That explains why.