seL4 version for SMACCM development