
# -*- python -*-

todo = Platform('caba', 'tsarv4_vgmn_generic_32_top.cpp',
	uses = [
            Uses('caba:vci_cc_xcache_wrapper_v4', iss_t = 'common:mips32el'),
            Uses('caba:vci_cc_xcache_wrapper_v4', iss_t = 'common:gdb_iss', gdb_iss_t = 'common:mips32el'),
            Uses('caba:vci_mem_cache_v4'),
	    Uses('caba:vci_simple_ram'),
	    Uses('caba:vci_multi_tty'),
	    Uses('caba:vci_xicu'),
	    Uses('caba:vci_vgmn'),
	    Uses('caba:vci_framebuffer'),
	    Uses('caba:vci_dma_tsar_v2'),
	    Uses('caba:vci_block_device_tsar_v2'),
 	    Uses('caba:vci_local_crossbar'),
	    Uses('common:elf_file_loader'),
            Uses('common:plain_file_loader')
	],
	cell_size = 4,
	plen_size = 8,
	addr_size = 32,
	rerror_size = 1,
	clen_size = 1,
	rflag_size = 1,
	srcid_size = 14,
	pktid_size = 4,
	trdid_size = 4,
	wrplen_size = 1,
)
