mbg(4): Industrial Receivers (PCI) PCI based receiver cards for the DCF77 time signal station and GPS Very high precision splhigh(); getnanotime(); write command to card <- card takes timestamp splx(); later: read timestamp from card