Index

A

AARCH32 (sdfgen.SystemDescription.Arch attribute) AARCH64 (sdfgen.SystemDescription.Arch attribute) add_channel() (sdfgen.SystemDescription method) add_child_pd() (sdfgen.SystemDescription.ProtectionDomain method) add_client() (sdfgen.Sddf.Blk method) (sdfgen.Sddf.Gpu method) (sdfgen.Sddf.I2c method) (sdfgen.Sddf.Serial method) (sdfgen.Sddf.Timer method) add_client_with_copier() (sdfgen.Sddf.Net method)

add_irq() (sdfgen.SystemDescription.ProtectionDomain method) add_map() (sdfgen.SystemDescription.ProtectionDomain method) (sdfgen.SystemDescription.VirtualMachine method) add_mr() (sdfgen.SystemDescription method) add_passthrough_device() (sdfgen.Vmm method) add_passthrough_irq() (sdfgen.Vmm method) add_pd() (sdfgen.SystemDescription method) add_virtio_mmio_blk() (sdfgen.Vmm method) add_virtio_mmio_console() (sdfgen.Vmm method) add_virtio_mmio_net() (sdfgen.Vmm method)

C

connect() (sdfgen.LionsOs.FileSystem.Fat method) (sdfgen.LionsOs.FileSystem.Nfs method) (sdfgen.LionsOs.FileSystem.VmFs method) (sdfgen.Sddf.Blk method) (sdfgen.Sddf.Gpu method) (sdfgen.Sddf.I2c method) (sdfgen.Sddf.Lwip method) (sdfgen.Sddf.Net method) (sdfgen.Sddf.Serial method) (sdfgen.Sddf.Timer method) (sdfgen.Vmm method)

D

DeviceTree (class in sdfgen)

DeviceTree.Node (class in sdfgen)

E

EDGE (sdfgen.SystemDescription.Irq.Trigger attribute)

L

LEVEL (sdfgen.SystemDescription.Irq.Trigger attribute) LionsOs (class in sdfgen) LionsOs.FileSystem (class in sdfgen)

LionsOs.FileSystem.Fat (class in sdfgen) LionsOs.FileSystem.Nfs (class in sdfgen) LionsOs.FileSystem.VmFs (class in sdfgen)

N

name (sdfgen.SystemDescription.ProtectionDomain property) (sdfgen.SystemDescription.VirtualMachine property)

node() (sdfgen.DeviceTree method)

P

paddr (sdfgen.SystemDescription.MemoryRegion property)

pd_a_id (sdfgen.SystemDescription.Channel property) pd_b_id (sdfgen.SystemDescription.Channel property)

R

render() (sdfgen.SystemDescription method)

RISCV32 (sdfgen.SystemDescription.Arch attribute) RISCV64 (sdfgen.SystemDescription.Arch attribute)

S

Sddf (class in sdfgen) Sddf.Blk (class in sdfgen) Sddf.Gpu (class in sdfgen) Sddf.I2c (class in sdfgen) Sddf.Lwip (class in sdfgen) Sddf.Net (class in sdfgen) Sddf.Serial (class in sdfgen) Sddf.Timer (class in sdfgen) serialise_config() (sdfgen.LionsOs.FileSystem.Fat method) (sdfgen.LionsOs.FileSystem.Nfs method) (sdfgen.LionsOs.FileSystem.VmFs method) (sdfgen.Sddf.Blk method) (sdfgen.Sddf.Gpu method) (sdfgen.Sddf.I2c method) (sdfgen.Sddf.Lwip method) (sdfgen.Sddf.Net method) (sdfgen.Sddf.Serial method) (sdfgen.Sddf.Timer method) (sdfgen.Vmm method)

set_virtual_machine() (sdfgen.SystemDescription.ProtectionDomain method) size (sdfgen.DeviceTree property) SystemDescription (class in sdfgen) SystemDescription.Arch (class in sdfgen) SystemDescription.Channel (class in sdfgen) SystemDescription.Irq (class in sdfgen) SystemDescription.Irq.Trigger (class in sdfgen) SystemDescription.Map (class in sdfgen) SystemDescription.MemoryRegion (class in sdfgen) SystemDescription.ProtectionDomain (class in sdfgen) SystemDescription.VirtualMachine (class in sdfgen) SystemDescription.VirtualMachine.Vcpu (class in sdfgen)

V

Vmm (class in sdfgen)

X

X86 (sdfgen.SystemDescription.Arch attribute)

X86_64 (sdfgen.SystemDescription.Arch attribute)