kernel: dump_ptables: armv7: print rw flags for small pages
[barrelfish] / kernel / arch / armv7 / paging.c
2016-10-04 Simon Gerberkernel: dump_ptables: armv7: print rw flags for small...
2016-10-03 Simon Gerberarmv7: paging: proper check if `pte_count` pages fit...
2016-09-28 Moritz HoffmannT291: add implementation for armv7/8
2016-08-30 David CockARMv7: Set all mappings to inner-shareable.
2016-08-15 Simon GerberT243: Fix armv7 paging code and caps_retype() to proper...
2016-08-15 Simon GerberT243: capability types and kernel code now accurately...
2016-07-15 David CockZYNQ: We make it into init now.
2016-07-15 David CockARMv7: a9ve boots and passes memtest again.
2016-07-15 David CockARMv7: CPU driver reinitialised UART and prints.
2016-07-15 David CockARMv7: CPU driver builds again - enough for testing.
2016-07-15 David CockARMv7: First prototype of a new bootloader for simulators
2016-07-15 David CockZYNQ: Clock tree probing.
2016-07-08 David CockARMv7: Separated pre-MMU init code
2016-07-08 David CockARMv7: Moved MMU initialisation into C
2016-07-07 David CockARMv7: Improved cache code.
2016-06-22 David CockARMv7: Exception vectors in a simple jump table.
2016-06-15 David CockARMv7: Map kernel RAM window cacheable.
2016-06-13 David CockRationalised the ARM Platform code.
2016-05-30 Timothy RoscoeRefactored ARMv7-A code.
2016-02-11 Simon GerberT207: Implement local_phys_is_valid() and call this...
2015-11-23 Simon GerberT187: armv7: migrate to mapping caps.
2015-08-11 Simon Gerberarm: fix caps_map_l1 for armv5 and remove panic()s...
2015-08-11 Simon Gerber32bit arm: fix large page support. Close T148.
2015-08-04 Simon Gerberarm: fix caps_map_l1 for armv5 and remove panic()s...
2015-08-03 Simon Gerber32bit arm: fix large page support. Close T148.
2015-06-11 Simon GerberT73: fix modify_flags for parts of region + test.
2015-05-04 Simon GerberMerge large page support code.
2015-04-30 Andreas DillierLargepage Code, arm addition
2015-03-09 Simon Gerberkernel: Fix and deduplicate cte_for_cap().
2014-08-20 Simon GerberDeduplicated armv7 paging code.
2014-02-25 Simon GerberDeduplicated armv7 paging code.