socsvn - Revision 337283: /soc2015/stefano/picobsd/head