1/* 2 * Copyright (c) 2012, 2014 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 --- 215 unchanged lines hidden (view full) --- 224 PortProxy physProxy; 225 226 /** kernel symbol table */ 227 SymbolTable *kernelSymtab; 228 229 /** Object pointer for the kernel code */ 230 ObjectFile *kernel; 231 |
232 /** Additional object files */ 233 std::vector<ObjectFile *> kernelExtras; 234 |
235 /** Beginning of kernel code */ 236 Addr kernelStart; 237 238 /** End of kernel code */ 239 Addr kernelEnd; 240 241 /** Entry point in the kernel to start at */ 242 Addr kernelEntry; --- 354 unchanged lines hidden --- |