1/*
2 * Copyright (c) 2010 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software

--- 90 unchanged lines hidden (view full) ---

99 threadContexts[i]->setIntReg(7, bootldr->entryPoint());
100 }
101 if (!params()->gic_cpu_addr || !params()->flags_addr)
102 fatal("gic_cpu_addr && flags_addr must be set with bootloader\n");
103 } else {
104 // Set the initial PC to be at start of the kernel code
105 threadContexts[0]->pcState(kernelEntry & loadAddrMask);
106 }
107}
108
109ArmSystem::~ArmSystem()
110{
111 if (debugPrintkEvent)
112 delete debugPrintkEvent;
113}
114
115
116ArmSystem *
117ArmSystemParams::create()
118{
119 return new ArmSystem(this);
120}