debug.gdb

define dump_calls
	set $start=__rnk_initcalls_start
	while ($start < __rnk_initcalls_end)
		x/1xw $start
		set $start=$start 4
	end
end

define dump_mpu
	set $i = 0
	set $nregion = 8

	while($i < $nregion)
		set *0xE000ED98 = $i
		print "---------- "
		x/x 0xE000ED9C
		x/x 0xE000EDA0
		print "-----------"
		set $i = $i   1

	end
end

define enable_swo
	monitor SWO EnableTarget 0 64000 1 0
end

define enable_semihosting
	monitor semihosting enable
end

define load_kernel_ram
	load kernel.elf
	moni reset 0
	set $pc = *(0x20000004)
	set $sp = *(0x20000000)
	c
end


define load_kernel
	load kernel.elf
	moni reset 0
	c
end

define load_apps
	if $argc == 0
		print "specify apps path"
	end

	if $argc == 1
		restore $arg0 binary 0x08020000
	end
end

define cfsr
	x/x 0xE000ED28
end

define mmar
	x/x 0xE000ED34
end

define bfar
	x/x 0xE000ED38
end

tar rem 127.0.0.1:2331
file kernel.elf