Stefan Kalkowski cc58b11998 hw: replace page table allocator with static one ...

Instead of organizing page tables within slab blocks and allocating such
blocks dynamically on demand, replace the page table allocator with a
simple, static alternative. The new page table allocator is dimensioned
at compile-time. When a PD runs out of page-tables, we simply flush its
current mappings, and re-use the freed tables. The only exception is
core/kernel that should not produce any page faults. Thereby it has to
be ensured that core has enough page tables to populate it's virtual
memory.

A positive side-effect of this static approach is that the accounting
of memory used for page-tables is now possible again. In the dynamic case
there was no protocol existent that solved the problem of donating memory
to core during a page fault.

Fix #1588

2015-06-22 14:43:41 +02:00

..

doc

imx31: remove platform completely (fix #1360)

2015-01-12 14:24:15 +01:00

include

hw: seal capability leak (fix #1568)

2015-06-22 14:43:35 +02:00

lib

hw: kernel backed capabilities (Fix #1443)

2015-05-26 09:40:04 +02:00

mk

hw: support Wandboard Quad (i.MX6)

2015-04-09 16:04:43 +02:00

run

CPU session: apply quota via relative weightings

2015-05-06 10:55:16 +02:00

src

hw: replace page table allocator with static one

2015-06-22 14:43:41 +02:00