API to reboot/restart processor

Sarah,  The easy way is to write to the system exception control register (SYSECR, 0xFFFFFFE0). This register is documented in section 2.5.1.47 of SPNU503. Writing 0x8000 to this location will cause a system reset. In HALCoGen, include "system.h" and then like this:

	systemREG1->SYSECR = 0x8000U;