Trustzone Version of Goldfish kernel