{
	"devices" :
	{
		"clint" : {
			"start"  : 0x2000000,
			"length" : 0x10000
		},
		"plic" : {
			"start"  : 0xc000000,
			"length" : 0x400000
		},
		"uart" : {
			"start" : 0x10000100,
			"end"   : 0x10000200
		},
		"ethernet" : {
			"start" : 0x10000100,
			"end"   : 0x10000200
		},
		"shadow" : {
			"start" : 0x40000000,
			"end"   : 0x40001000
		},
		"shadowctrl" : {
			"start" : 0x40001000,
			"end"   : 0x40001028
		}
	},
	"instruction_memory" : {
		"start" : 0x80000000,
		"end"   : 0x80040000
	},
	"heap" : {
		"end"   : 0x80040000
	},
	"revoker" : "hardware",
	"stack_high_water_mark" : true,
	"driver_includes" : [
		"../include/platform/flute",
		"../include/platform/generic-riscv"
	],
	"defines" : [
		"FLUTE",
		"FLUTE_SHADOW_BASE=0x40000000U",
		"FLUTE_SHADOW_SIZE=0x1000U"
	],
	"timer_hz" : 40000,
	"tickrate_hz" : 10,
	"simulator" : "${sdk}/../scripts/run-flute.sh",
	"simulation" : true
}