replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

armv7: Move distributor driver to userspace

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

arms: unifying interrupts, timers and platform data

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

kernel: armv7: paging_is_region_valid: add parentheses around bitwise ops for readability

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: implement access_ok() to check user pointer validity

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

armv7: make compile

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel,armv7: fix mapping code to use new mapping cap format

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: dump_ptables: armv7: print rw flags for small pages

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

armv7: paging: proper check if `pte_count` pages fit inside source frame starting at `offset`

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T291: add implementation for armv7/8

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

ARMv7: Set all mappings to inner-shareable.

The mapping attribute code needs to be rewritten, but this at least allows UMP
to work for the time being.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

T243: Fix armv7 paging code and caps_retype() to properly create ARMv7 vnodes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T243: capability types and kernel code now accurately reflects ARMv7 12/8/12 bit virtual address split

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

ZYNQ: We make it into init now.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: a9ve boots and passes memtest again.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: CPU driver reinitialised UART and prints.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: CPU driver builds again - enough for testing.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: First prototype of a new bootloader for simulators

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ZYNQ: Clock tree probing.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Separated pre-MMU init code

The ARMv7 initialisation is now divided strictly into a pre-MMU phase and a
post-MMU phase, with the jump to arch_init_2 being a calculated long jump.
This doesn't make much difference on the Pandaboard and other platforms with
RAM at 0x80000000, but it makes it possible to support other RAM locations
with little or no change to the code. This will be necessary for the Zynq.

There's a little assorted cleanup included in this patch, of the MMU init
code.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Moved MMU initialisation into C

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Improved cache code.

Moved a lot of cache manipulation into C, and started using clean and
invalidate correctly. We're still *very* gung-ho about flushing the cache.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Exception vectors in a simple jump table.

The old scheme was complex and opaque, and not really needed. We've now got
our exception vectors in a compiled jump table, that's mapped into place.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

ARMv7: Map kernel RAM window cacheable.

This was one cause of the "yield while disabled bug". The dispatcher shared
struct was mapped cached at user level, and uncached in the kernel. The
kernel thus read a stale copy of the disabled flag.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Rationalised the ARM Platform code.

We now have separate targets for the GEM5 VE and FVP VE, as the GEM5 version
actually simulates an A15, and has a few quirks. The FVP VE and Pandaboard
targets share most of their code. Thus we've got three ARMv7-A targets now,
and it should be easy to add more, as soon as we've got the simulators.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>

Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

T207: Implement local_phys_is_valid() and call this in paging_dump_tables()

Closes T207.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T187: armv7: migrate to mapping caps.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

arm: fix caps_map_l1 for armv5 and remove panic()s in armv7

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

arm: fix caps_map_l1 for armv5 and remove panic()s in armv7

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

32bit arm: fix large page support. Close T148.

This implements a bit field to track the mapping of individual L2 tables for
armv5 and armv7 user space page table management. Having this tracking
bitfield we can use 1MB sections without having weird interference between
unused L2 tables and creating new section mappings.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

T73: fix modify_flags for parts of region + test.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Largepage Code, arm addition

Added arm/omap4460 files, just for completeness, it does not work yet.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

kernel: Fix and deduplicate cte_for_cap().

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Deduplicated armv7 paging code.

Deduplicated armv7 paging code.