LionsOS

class sdfgen.LionsOs

class FileSystem

class Fat(sdf: SystemDescription, fs: ProtectionDomain, client: ProtectionDomain, *, blk: Blk, partition: int)

connect() → bool

serialise_config(output_dir: str) → bool

class Nfs(sdf: SystemDescription, fs: ProtectionDomain, client: ProtectionDomain, *, net: Net, net_copier: ProtectionDomain, mac_addr: str | None = None, serial: Serial, timer: Timer, server: str, export_path: str)

connect() → bool

serialise_config(output_dir: str) → bool

class VmFs(sdf: SystemDescription, fs_vm_sys: Vmm, client: ProtectionDomain, blk: Blk, virtio_device: Node, partition: int)

connect() → bool

serialise_config(output_dir: str) → bool