I am using the evmk2l board. I would like to setup the enternonsecure() as done in the GEL file, in my custom bootloader code....I do not see where the REG_CTAX15_CP15_C1_XXXXX registers are defined? Is there a document or .h file that defines these register addresses?