diff options
Diffstat (limited to 'src/arch/arm/system.hh')
| -rw-r--r-- | src/arch/arm/system.hh | 16 |
1 files changed, 15 insertions, 1 deletions
diff --git a/src/arch/arm/system.hh b/src/arch/arm/system.hh index 0b652f76c..511118d4d 100644 --- a/src/arch/arm/system.hh +++ b/src/arch/arm/system.hh @@ -1,5 +1,5 @@ /* - * Copyright (c) 2010, 2012-2013 ARM Limited + * Copyright (c) 2010, 2012-2013, 2015 ARM Limited * All rights reserved * * The license below extends only to copyright in the software and shall @@ -43,6 +43,7 @@ #ifndef __ARCH_ARM_SYSTEM_HH__ #define __ARCH_ARM_SYSTEM_HH__ +#include <memory> #include <string> #include <vector> @@ -64,6 +65,9 @@ class ArmSystem : public System */ Linux::DebugPrintkEvent *debugPrintkEvent; + /** Bootloaders */ + std::vector<std::unique_ptr<ObjectFile>> bootLoaders; + /** * Pointer to the bootloader object */ @@ -112,6 +116,16 @@ class ArmSystem : public System */ const bool _haveLargeAsid64; + protected: + /** + * Get a boot loader that matches the kernel. + * + * @param obj Kernel binary + * @return Pointer to boot loader ObjectFile or nullptr if there + * is no matching boot loader. + */ + ObjectFile *getBootLoader(ObjectFile *const obj); + public: typedef ArmSystemParams Params; const Params * |