I'm not sure if it's the same guy or not but there's a thread about a Raspberry Pi based PC-DC server here
. He's already provided a link to an image you can install on your own Raspberry Pi which should work just fine. I don't have one to test it though.
Edit: It is a different guy.