gputty

targets=gputty
[gputty]
type=binary
sources=config.c,gputty.c