I am trying to run genode's trustzone on imx53 board. AFAIU, it starts with "init" which then sets up `vmm` and calls `vmm.start()`, which should load my kernel in normal world. And kernel in normal world uses vmm as proxy to talk to the secure world. Am I correct? If so, where can I find the piece of code which tries to load the normal world linux, like some stub or something.