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

We are aiming at a system where build-time configuration is irrelevant,
as every configuration happens at run-time, based on dot-config.
This is the first step.

Please note that this breaks the web interface, because it edits
wr_date.conf. A later commit will fix the web interface.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

As a reference, until the next commits that actually use it.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

Otherwise, the port files are empty, even if pstats/info is correct

  wrs-192.168.16.9#wc -c /proc/sys/pstats/*
      529 /proc/sys/pstats/description
        7 /proc/sys/pstats/info
        0 /proc/sys/pstats/port0
        0 /proc/sys/pstats/port1
        0 /proc/sys/pstats/port10
        0 /proc/sys/pstats/port11
        0 /proc/sys/pstats/port12
        0 /proc/sys/pstats/port13
        0 /proc/sys/pstats/port14
        0 /proc/sys/pstats/port15
        0 /proc/sys/pstats/port16
        0 /proc/sys/pstats/port17
        0 /proc/sys/pstats/port2
        0 /proc/sys/pstats/port3
        0 /proc/sys/pstats/port4
        0 /proc/sys/pstats/port5
        0 /proc/sys/pstats/port6
        0 /proc/sys/pstats/port7
        0 /proc/sys/pstats/port8
        0 /proc/sys/pstats/port9
      536 total
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This adds monit, a simple monitoring tool. It currently monitors
snmpd alone, but it will monitor more things as we proceed (but we
first need to make ppsi rtud and hal independently restartable.

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

get rid of constants: PSTATS_CNT_PP and PSTATS_ADR_PP
Use number of ports read from FPGA instead of PSTATS_NUM_OF_COUNTERS
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Read is done at module init.
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Masking is not needed since uint32_t << 32 zero all lower bits.
Reported-by: Alessandro Rubini <rubini@gnudd.com>
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

Changes also in wr_pstats.
Wr_nic now calls callback function in wr_pstats to get counters
Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

By writing anything to a port file, you zero the counters for that
port. By writing to "info" or "description" you zero counters for
all ports.

Zeroing is performed by copying the current values to a new array,
and always subytracting that array to the current counter values.

No zeroing is performed for network statistics, that still reads
the "real" counters, featuring an overflow at 4G but no zeroing ever.

To simplify a little the code, I turned the one-dimensional array
with index arithmetics into a two-dimensional array, so the compiler
makes the math for us, transparently.

NOTE: the spinlock must be audited, we are not safe yet, not only
because of this patch.
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: Adam Wujek <adam.wujek@cern.ch>

Signed-off-by: Adam Wujek <adam.wujek@cern.ch>

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>

Also, run "wr_date get" at boot once, so it parses leap-seconds.list
and configures the kernel for the proper tai_offset.

With the previous commit it worked with "wr_date get tohost",
becase after the host is correctly in 2014 or so, all leap seconds are
in the past.  But if we are not synced, the host is in 1970 and
no leap second has already happened.

If this code is unchanged in 2018, we'd better be off by 2 seconds
than 37, so if linux reports a date earlier than 2014, use 2014 and
fix tai_offset at 35.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This merges a single commit, that I published some time ago for
our users, so they could set system time from WR time.

This is now going to happen automatically, in the next commits, but
this new wr_date binary is still useful to read /etc/leap-seconds.list
and pass the information to the kernel.

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

Long ago we used to refer to installed shared libraries and headers,
during further steps of user-space compilation.  We use static libraries
since long ago, and we have all -I pointing to ../ within the source
tree.  Get rid of unneeded installation of headers and extra -I
in the command lines.

Meanwhile, make all sub-makefile a little more similar one another
(this is trivial, mostly a side effect of the above).

The commit has no effect on build commands and results.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

The files in userspace/include/at91 were not used.

Some were straight copies for linux headers, so including
<mach/at91_pio.h> instead of <at91/at91_pio.h> makes our copy
irrelevant.  This means both the hal and rtud must include from
$LINUX, but this was already a requirement for other userspace stuff.
The Makefiles are now fixed to do that.

at91sam9g45.h was only used for AT91C_BASE_SYS, which is no more.
This is trivially 4k-before-the-end, to mmap the end page.  We were
already defining AT91C_BASE_SYS_RAW to the exact same value (only,
AT91C_BASE_SYS was a pointer to structure), so the header could go as
well.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

The output is now very verbose, but with grep and similar things we
can put it to good use. Besides, seeing all data items allows to audit
field use.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>