Differences

This shows you the differences between two versions of the page.

--- enable_pps_support_raspian [2019/11/03 09:40] – nikolal
+++ enable_pps_support_raspian [2022/09/19 11:34] (current) – external edit 127.0.0.1
@@ Line 3: / Line 3: @@
   * CONFIG_PPS ("PPS support" in "make menuconfig")
   * CONFIG_NTP_PPS ("PPS kernel consumer support" in "make menuconfig")
+==== Install dependencies ====
+''%%sudo apt install git bc bison flex libssl-dev%%''
 ==== Download kernel ====
   mkdir ppskernel
@@ Line 30: / Line 32: @@
                    *** PPS generators support ***
 \\
-  * Unordered List ItemSave and exit. To verify, check the ''%%.config%%'' file that has been created in the same folder (nano .config). These options should be present somewhere in the file:
+  * Save and exit. To verify, check the ''%%.config%%'' file that has been created in the same folder (nano .config). These options should be present somewhere in the file:
 \\
   CONFIG_PPS=y
@@ Line 46: / Line 48: @@
   CONFIG_PREEMPT_VOLUNTARY=y
   # CONFIG_PREEMPT is not set
+==== Compile the kernel ====
+  make -j4
+  make modules
+\\
+  * Gain superuser privileges and transfer a copy of the new kernel to the boot partition:
+\\
+  sudo -i
+  cd ~pi/ppskernel/linux-rpi-[kernel version number].y
+  make modules_install
+  cp ./arch/arm/boot/zImage /boot/kernel_new.img
+\\
+  * Tell the system to use this new kernel by adding ''%%kernel=kernel_new.img%%'' to ''%%/boot/config.txt %%''.
+  * Reboot
+==== Add PPS source and load kernel module ====
+  * Open ''%%/boot/config.txt %%'' again, and ''%%dtoverlay=pps-gpio,gpiopin=[GPIOPIN]%%'' where GPIOPIN is the PPS signal.
+  * Load kernel module: ''%%sudo modprobe pps-gpio%%''
+==== Test  and make permanent====
+  * Test
+\\
+  apt-get install pps-tools
+  sudo ppstest /dev/pps0
+\\
+  * Expected result is something like:
+\\
+  trying PPS source "/dev/pps0"
+  found PPS source "/dev/pps0"
+  ok, found 1 source(s), now start fetching data...
+  source 0 - assert 1572772437.999997402, sequence: 6168 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772438.999997803, sequence: 6169 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772440.000000924, sequence: 6170 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772440.999998834, sequence: 6171 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772442.000001424, sequence: 6172 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772442.999999478, sequence: 6173 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772444.000000128, sequence: 6174 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772444.999999537, sequence: 6175 - clear  0.000000000, sequence: 0
+  source 0 - assert 1572772446.000000578, sequence: 6176 - clear  0.000000000, sequence: 0
+\\
+  * If successful, make permanent by opening ''%%/etc/modules%%'' and adding ''%%pps-gpio%%'' to the end.
+  * Running a DUNE configuration with ''%%Supervisors.ClockPPS%%'' should now work
 ===== Links =====
   * [[https://support.ntp.org/bin/view/Sandbox/HowtoPpsOnRaspberryPi|How to PPS on Raspberry Pi]]
+  * [[https://ava.upuaut.net/?p=951|5 minute guide to making a GPS Locked Stratum 1 NTP Server with a Raspberry Pi]]
+  * [[http://brandon.penglase.net/index.php?title=NavSpark_GPS%2BGLONASS_Stratum-1_NTP_Time_Source_with_a_Raspberry_Pi#Configure_the_kernel|NavSpark GPS+GLONASS Stratum-1 NTP Time Source with a Raspberry Pi]]
+  * [[https://www.satsignal.eu/ntp/Raspberry-Pi-NTP.html|The Raspberry Pi as a Stratum-1 NTP Server]]