SMEWS port on seL4