How would one start gdb with multi core (or target?) support? Also how would I switch between those cores? In this case there is a system that has four cores that creates