[seL4] [sel4] persistent storage / file system