summaryrefslogtreecommitdiff
path: root/big-little/common/pagetable_setup.c
AgeCommit message (Expand)Author
2012-05-23GNU indent pass over C and header files.Dietmar Eggemann
2012-05-22Change file mode for 100755 to 100644 for various source files.Dietmar Eggemann
2012-05-22Virqmig: Complete interoperability with hotplug.Dietmar Eggemann
2012-05-22Hotplug: Add cpu hotplug support to the virtualizer.Dietmar Eggemann
2012-05-22Introduce l3 page table and 4K mapping for the KFSCB.Dietmar Eggemann
2012-05-22Use VALID_MAPPING as part of the attributes of the l3 descriptor.Dietmar Eggemann
2012-05-22Bugfix: Calculate l2_desc correctly.Dietmar Eggemann
2012-02-16GNU indent pass over C and header files.Robin Randhawa
2012-02-10Update Copyright information.Dietmar Eggemann
2012-02-09Bugfix: Create second 4KB 2nd stage mapping for VGIC.Dietmar Eggemann
2012-02-09Bugfix: Calculate l2_desc in Add4KMapping correctly.Dietmar Eggemann
2011-12-20Updated to release v2.1.Robin Randhawa
2011-10-12Initial commit of the virtualizer v2.0 release.Robin Randhawa