tree 9db5cd65c129070bdbfa658af92d5b41b3d6ede2
parent d0b93644d1d8ce2ed8cacf7b848e4436426ff70d
author Joan Touzet <joant@ieee.org> 1386813776 -0500
committer Joan Touzet <joant@ieee.org> 1386813776 -0500

More devkit and process fixes