Open-TEE/TEE-Emu — pull request #15 by TanelDettenborn (2013-11-29 21:08:59+00:00)
Title: A TEE emulator configure file parser

A simple design for a small configure files.