From 13513b810422fe181254cba32d61d85ad79d6cf2 Mon Sep 17 00:00:00 2001
From: Gabriel Moyano <gabriel.moyano@dlr.de>
Date: Fri, 20 May 2022 11:29:59 +0200
Subject: kern_tc.c: Enable PPS API support

Update #2349.
---
 cpukit/score/src/kern_tc.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/cpukit/score/src/kern_tc.c b/cpukit/score/src/kern_tc.c
index fc11624a44..89ece1fbde 100644
--- a/cpukit/score/src/kern_tc.c
+++ b/cpukit/score/src/kern_tc.c
@@ -1904,7 +1904,6 @@ SYSCTL_PROC(_kern_timecounter, OID_AUTO, choice,
     "Timecounter hardware detected");
 #endif /* __rtems__ */
 
-#ifndef __rtems__
 /*
  * RFC 2783 PPS-API implementation.
  */
@@ -2276,9 +2275,6 @@ pps_event(struct pps_state *pps, int event)
 	(*pps->wakeup)(pps);
 #endif /* __rtems__ */
 }
-#else /* __rtems__ */
-/* FIXME: https://devel.rtems.org/ticket/2349 */
-#endif /* __rtems__ */
 
 /*
  * Timecounters need to be updated every so often to prevent the hardware
-- 
cgit v1.2.3