enabled backup port handling in wrsw_hal, i.e. pass priority to SoftPLL and do not re-set softPLL mode (might need actually additional mode later)

Built from commit 6194dc7 of wrpc-sw.

We also provide them each time with the release binaries available on OHWR.

Requires updated HDL as well.

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

This reverts commit 38e59051.

We don't need the sdram printouts any more. But it's good to
have this in history anyways (it was an error having it in master,
but all hackers promote bugs as features).

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

With mem=64M we have some sdram corruption, with "bad page state".
This is unexplained, and the sam-ba code is so difficult to fix, that
we'd better just install with 32M of sdram.  At runtime we use a fixed
at91boot, so 64M work properly.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This actually has no effect, but since the item is there, we'd better
have it correct.

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

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

also fixes a typo, not exposed unless you use -m ddr
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

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

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

The snmpwalk client has a bug in returning 64-bit values.
This redoes what we are already doing in wrsPpsi.c.  It's bad,
but mandatory at this point.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

This adds an snmp stanza with the white rabbit date.
However, it has 64-bit problems (it's the client, not the server).
See next commit.
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>

The name was inconsistent with anything else, and we must simplify
and get consistent.

A symlink with the old name is provided.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>