> On 08/04/2022 08:28, gabriel.moy...@dlr.de wrote:
> PPS device drivers should use the kernel space API. Since we don't
> have a user and kernel space in RTEMS, the kerne space API should be
> available also if __rtems__ is defined.
> >>> So, you mean to remove the #ifdef _KERNEL u
On 08/04/2022 08:28, gabriel.moy...@dlr.de wrote:
PPS device drivers should use the kernel space API. Since we don't
have a user and kernel space in RTEMS, the kerne space API should be available
also if __rtems__ is defined.
So, you mean to remove the #ifdef _KERNEL using #ifndef__rtems__.
It
> >> PPS device drivers should use the kernel space API. Since we don't
> >> have a user and kernel space in RTEMS, the kerne space API should be
> >> available also if __rtems__ is defined.
> >
> > So, you mean to remove the #ifdef _KERNEL using #ifndef__rtems__.
>
> It is an
>
> #ifdef _KERNEL
On 07/04/2022 16:05, gabriel.moy...@dlr.de wrote:
On 07/04/2022 14:51, gabriel.moy...@dlr.de wrote:
On 07/04/2022 11:56, gabriel.moy...@dlr.de wrote:
On 07/04/2022 10:36, Gabriel Moyano wrote:
---
cpukit/score/src/kern_ntptime.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/c
> On 07/04/2022 14:51, gabriel.moy...@dlr.de wrote:
> >> On 07/04/2022 11:56, gabriel.moy...@dlr.de wrote:
> On 07/04/2022 10:36, Gabriel Moyano wrote:
> > ---
> > cpukit/score/src/kern_ntptime.c | 3 +++
> > 1 file changed, 3 insertions(+)
> >
> > diff --git a/cpuki
On 07/04/2022 14:51, gabriel.moy...@dlr.de wrote:
On 07/04/2022 11:56, gabriel.moy...@dlr.de wrote:
On 07/04/2022 10:36, Gabriel Moyano wrote:
---
cpukit/score/src/kern_ntptime.c | 3 +++
1 file changed, 3 insertions(+)
diff --git a/cpukit/score/src/kern_ntptime.c
b/cpukit/score/src/k
> On 07/04/2022 11:56, gabriel.moy...@dlr.de wrote:
> >> On 07/04/2022 10:36, Gabriel Moyano wrote:
> >>> ---
> >>>cpukit/score/src/kern_ntptime.c | 3 +++
> >>>1 file changed, 3 insertions(+)
> >>>
> >>> diff --git a/cpukit/score/src/kern_ntptime.c
> >>> b/cpukit/score/src/kern_ntptime.c in
