Hi Jon, This looks like a very interesting project; from I can gather, you're attempting to put an OS kernel in HDL ( SpecC ). I'm not sure how much time I can dedicate; but if you have a mailing list of to-do's please add me. I was considering adding my email to controlix-devel ( SF -> general -> subscribe ) but it doesn't look like anyone is using that. Just a few questions though; Do you have this project uploading to a FPGA dev board and if so which one - or just using GHDL for simulation?
Can you describe the project a little? Whats the goal?
Experience in AJAJ, JSON and HTML5 would be handy. However, we will take any help...
See if http://www.ardichef.com would be of interest to you
Looking for someone with Arduino micorcontroller programming experience as well as...