symbol_tables = ["kernel/kernel.elf"]

[[cards]]
type = "rom"
image = "rom.bin"

[[cards]]
type = "term"

[[cards]]
type = "ram"
size = 16777216 # 16 MiB

[[cards]]
type = "storage"
image = "os.dsk"

[[cards]]
type = "mmu"