we need to build a little os in the secure mode,and run linux in the normal world.but, can I use gcc to compile the special instructions like 'smc'. which gcc version can work? and where can i find the example code switching between the secure and normal worlds?