questions about arm trustzone

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?