symbol_tables = ["build/kernel/kernel", "build/init/init"]

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

[[cards]]
type = "term"

[[cards]]
type = "ram"
size = 0x200_0000 # 32 MiB

[[cards]]
type = "ram"
size = 0x400_0000 # 64 MiB

[[cards]]
type = "ram"
size = 0x100_0000 # 16 MiB

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

[[cards]]
type = "mmu"