modify SVC to use efputs instead of printf, and update docs