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

[[cards]]
type = "term"

[[cards]]
type = "ram"
num_pages = 128 # 512 KiB

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