Loading annotation for docs.sel4.systems