system.cc (10822:d259f2bc2b31) system.cc (11392:5967db4cff04)
1/*
2 * Copyright (c) 2015 Ruslan Bukin <br@bsdpad.com>
3 * All rights reserved.
4 *
5 * This software was developed by the University of Cambridge Computer
6 * Laboratory as part of the CTSRD Project, with support from the UK Higher
7 * Education Innovation Fund (HEIF).
8 *

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

81
82 // Call the initialisation of the super class
83 GenericArmSystem::initState();
84
85 // Load symbols at physical address, we might not want
86 // to do this permanently, for but early bootup work
87 // it is helpful.
88 if (params()->early_kernel_symbols) {
1/*
2 * Copyright (c) 2015 Ruslan Bukin <br@bsdpad.com>
3 * All rights reserved.
4 *
5 * This software was developed by the University of Cambridge Computer
6 * Laboratory as part of the CTSRD Project, with support from the UK Higher
7 * Education Innovation Fund (HEIF).
8 *

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

81
82 // Call the initialisation of the super class
83 GenericArmSystem::initState();
84
85 // Load symbols at physical address, we might not want
86 // to do this permanently, for but early bootup work
87 // it is helpful.
88 if (params()->early_kernel_symbols) {
89 kernel->loadGlobalSymbols(kernelSymtab, loadAddrMask);
90 kernel->loadGlobalSymbols(debugSymbolTable, loadAddrMask);
89 kernel->loadGlobalSymbols(kernelSymtab, 0, 0, loadAddrMask);
90 kernel->loadGlobalSymbols(debugSymbolTable, 0, 0, loadAddrMask);
91 }
92
93 // Setup boot data structure
94 Addr addr = 0;
95
96 // Check if the kernel image has a symbol that tells us it supports
97 // device trees.
98 bool kernel_has_fdt_support =

--- 69 unchanged lines hidden --- 		91 }
92
93 // Setup boot data structure
94 Addr addr = 0;
95
96 // Check if the kernel image has a symbol that tells us it supports
97 // device trees.
98 bool kernel_has_fdt_support =

--- 69 unchanged lines hidden ---