It also delete temporary files

The output 9 => 10MHz output (CLK1), is disable until PLL is resync with
WR to force the output of two different switches to be in phase.

Standard JEDEC ID is only 24bits to identify a DF chip.
It also has an optional Extended Device Info (EDI) on bytes 4 and/or 5
that need to be read to differentiate some DF chips. (i.e, the
difference between AT45DB641E and AT45DB642D is made by byte 4).

This patch is similar to the kernel one #66595328

- Add official documentation structure
- Update text for v4.1 release
- Remove old flashing procedure

We have clean the code to have an html as clear as possible to debug
Now we also use the following tag:
<th> For header
<td> For data

Fixing Conflicts from older cherry-pick
	userspace/rootfs_override/var/www/functions.php

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

if wrs_version reports "UNKNOWN" use LX240T (actually, the only image
we currently hav ein the filesystem.

Also, verify the files are there to avoid nastier errors.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

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

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

If we use erase option we only delete DF until DF_HWINFO_START
./mch_flasher -m df -e
If we still want to erase everything we need to use the scrub option
./mch_flasher -m df -s

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

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

We are now strong with ppsi, remove any reference to ptp-noposix.
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>

We should not have all switches around run the same host key.  This
removes the pre-generated host keys and fixes the generation at boot
time (/etc is volatile, so it is copied to /usr/etc as well).
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 binary file commited here is the same as in binaries/: it is generated
as described in commit 7c9f0d35.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

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

Our /etc is in initramfs, so writing to /etc has no effect.
I could write to /usr/etc or just remove the thing. Since it was not
working and nobody complained, I remove it.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

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

I was bored by repeated file names, so this uses WRS_KER and other
variables to host the "magic" name.

Similarly, the use of "-old" was inconsistent, and this uses the
same pattern for all files. Actually, it should be a function
to avoid repetitions. But I'm lazy and it is not.

The upgrade we may do now is by placing files in /update, with
magic names:

    - wrs-firmware.tar: is *must* include wrs-usr.tar.gz, because
      if this file exists /usr is recreated from scratch.

         - it may include zImage, wrs-initramfs.gz, barebox.bin
	 (this happens in released firmware files, so the boot loader
	 is being written twice, until we get rid of the sam-ba tools)

    - zImage: if present, the kernel is replaced

    - wrs-initramfs.gz: if present, the initramfs is replaced

    - barebox.bin: if presente, the boot loader is replaced

This means, in practice, that you may change the whole system or one
part at a time.  I suppose only we developers will use the "one part
at a time".

But the most important change is that barebox.bin is being replaced
during boot.  In v4.0 we didn't expect to ever replace barebox, but
then we found we needed it -- so let's provide for further updates.
OTOH at91boot is not replaced, and it is not expected to, ever.
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>

Commit 91c22de9 replaced some barebox patches, but I forgot to remove
the old ones, so build fails.

This fixes the problem. Moreover, there is a typo, which is
now fixed.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>

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

Standard JEDEC ID is only 24bits to identify a DF chip.
It also has an optional Extended Device Info (EDI) on bytes 4 and/or 5
that need to be read to differentiate some DF chips. (i.e, the
difference between AT45DB641E and AT45DB642D is made by byte 4).

The script to load the elf file at startup need to be improved but it
was a quick hack to have things works on SCB v3.3 and SCB v3.4.