Commit 0ace37b8 by Corey Richardson

Update for usize seL4_Word

1 parent 3738fb7e
Pipeline #5759661 for 0ace37b8 passed in 3 minutes 21 seconds