Like adjtime (previous commit), this is used to adjust the local time,
but in this case the program performs a time jump (warp) using
settimeofday().
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This simple tool requests a time adjustment, specified in seconds
expressed as a floating point values ("0.001", "-.2", "-4" ...).

It can be used to force time differences between hosts while checking
how ppsi (or other time daemons) work.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This merges the work of Danilo Sabato, who made the ppsi daemon build
both on i386 and x86-64 in a lib-less fashion.  Such architectures
are meant to show ppsi running on bare metal, and are test benches
for any changes to the core, even for people who cannot build and run
on real bare-metal hosts.

According to configuration, pp_diag_verbosity can be "const" or not
(having it const saves a lot of space and we need it in our
white-rabbit core).

This avoids errors when building for all architectures, with or
without CONFIG_PPSI_RUNTIME_VERBOSITY.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

arch-bare-x86-64: bugfix for packet receive
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>