#include "../../PicoInt.h"

void PicoSVPInit(void)
{
  elprintf(0xffff, "SVP");
}