deploy only master branch, compiled with the gcc
deploy only master branch, compiled with the gcc

stlankes/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,stlankes/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,RWTH-OS/HermitCore,stlankes/HermitCore