LIO.FS.TCB

Initializing labeled filesystem

initializeLIOFS

withLIOFS

getRootDirTCB

Handling path labels

setPathLabelTCB

getPathLabelTCB

Helpers for creating labeled objects

createFileTCB

createBinaryFileTCB

createDirectoryTCB

Filesystem errors

data FSError