LIO.FS.TCB

Initializing labeled filesystem

initFSTCB

mkFSTCB

setFSTCB

getRootDirTCB

Handling path labels

setPathLabelTCB

getPathLabelTCB

Helpers for creating labeled objects

createFileTCB

createBinaryFileTCB

createDirectoryTCB

Filesystem errors

data FSError