DUT's (device under test) side of Greentea (implementation in C) - View it on GitHub