RADclock on Raspberry Pi Installation

The steps are essentially the same as for a Linux installation. There are only two differences:

• Follow this blog post for kernel patching for Raspberry Pi: RADclock on Raspberry Pi: cooking some patches
• Make sure to compile radclock with raspbiran compilation option as described here. In other words, pass special flags to the configure script

  ./configure CFLAGS="-Wall -g -march=armv6 -mfpu=vfp -mfloat-abi=hard"
  make
  make install