ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-20 17:11:45 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

fixup "hw: extend remote-cpu-call for destroy" (vcpu.h always included)

Browse Source
This commit is contained in:
Stefan Kalkowski 2025-04-10 16:47:42 +02:00 committed by Norman Feske
parent 4e6ea61c5f
commit f93aebc810
2 changed files with 31 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/src/core/board/pbxa9/board.h
View File

@ -22,6 +22,8 @@
#include <spec/arm/cortex_a9_global_timer.h>
#include <spec/arm/cortex_a9_cpu.h>
#include <no_vcpu_board.h>
namespace Board {
using namespace Hw::Pbxa9_board;

29
repos/base-hw/src/core/no_vcpu_board.h Normal file
View File

@ -0,0 +1,29 @@
/*
* \brief Declarations for boards without any Vcpu support
* \author Stefan Kalkowski
* \date 2025-04-10
*/
/*
* Copyright (C) 2025 Genode Labs GmbH
*
* This file is part of the Genode OS framework, which is distributed
* under the terms of the GNU Affero General Public License version 3.
*/
#ifndef _CORE__NO_VCPU_BOARD_H_
#define _CORE__NO_VCPU_BOARD_H_
namespace Genode {
struct Vcpu_state {};
struct Vcpu_data {};
}
namespace Kernel { class Cpu; }
namespace Board {
struct Vcpu_context { Vcpu_context(Kernel::Cpu &) {} };
}
#endif /* _CORE__NO_VCPU_BOARD_H_ */