diff options
Diffstat (limited to 'src/arch/arm/ArmSystem.py')
| -rw-r--r-- | src/arch/arm/ArmSystem.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/arch/arm/ArmSystem.py b/src/arch/arm/ArmSystem.py index f4aedaf98..a86fc8822 100644 --- a/src/arch/arm/ArmSystem.py +++ b/src/arch/arm/ArmSystem.py @@ -65,3 +65,4 @@ class LinuxArmSystem(ArmSystem): machine_type = Param.ArmMachineType('RealView_PBX', "Machine id from http://www.arm.linux.org.uk/developer/machines/") atags_addr = Param.Addr(0x100, "Address where default atags structure should be written") + early_kernel_symbols = Param.Bool(False, "enable early kernel symbol tables before MMU") |