Commit 213bcf55 by Corey Richardson

Use usize for seL4_Word instead of u32/u64

1 parent 48927259
Pipeline #5759647 passed
in 3 minutes 59 seconds