ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-02-06 02:59:54 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
genode/repos/ports/src/virtualbox5/sup.h

53 lines
1.4 KiB
C
Raw Normal View History

ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
/*
* \brief Common VirtualBox SUPLib supplements
* \author Norman Feske
* \date 2013-08-20
*/
/*
Adjust file headers to refer to the AGPLv3
2017-02-20 13:23:52 +01:00
* Copyright (C) 2013-2017 Genode Labs GmbH
ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
*
* This file is distributed under the terms of the GNU General Public License
* version 2.
*/
#ifndef _SUP_H_
#define _SUP_H_
/* Genode includes */
Adapt high-level components to new parent API This patch adjusts the various users of the 'Child' API to the changes on the account of the new non-blocking parent interface. It also removes the use of the no-longer-available 'Connection::KEEP_OPEN' feature. With the adjustment, we took the opportunity to redesign several components to fit the non-blocking execution model much better, in particular the demo applications. Issue #2120
2016-11-23 17:07:49 +01:00
#include <base/component.h>
Remove Allocator_guard This patch removes old 'Allocator_guard' utility and replaces its use with the modern 'Constrained_ram_allocator'. The adjustment of core in this respect has the side effect of a more accurate capability accounting in core's CPU, TRACE, and RM services. In particular, the dataspace capabilities needed for core-internal allocations via the 'Sliced_heap' are accounted to the client now. The same goes for nitpicker and nic_dump as other former users of the allocator guard. Hence, the patch also touches code at the client and server sides related to these services. The only remaining user of the 'Allocator_guard' is the Intel GPU driver. As the adaptation of this component would be too invasive without testing, this patch leaves this component unchanged by keeping a copy of the 'allocator_guard.h' locally at the component. Fixes #3750
2020-05-05 14:27:29 +02:00
#include <cpu_session/connection.h>
ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
/* VirtualBox includes */
#include <VBox/vmm/vm.h>
#include <VBox/vmm/gvmm.h>
vbox: Add platform-specific setup machine hook Add call to genode_setup_machine prior to machine registration in frontend machine setup code. This enables platform-specific adjustments to the machine instance. The new function is used on hw_x86_64_muen to clamp the processor count to 1 as multiple virtual CPUs are not supported on this platform. Issue #2016
2016-05-04 18:40:30 +02:00
#include <VBox/com/ptr.h>
ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
#include <iprt/param.h>
vbox: Add platform-specific setup machine hook Add call to genode_setup_machine prior to machine registration in frontend machine setup code. This enables platform-specific adjustments to the machine instance. The new function is used on hw_x86_64_muen to clamp the processor count to 1 as multiple virtual CPUs are not supported on this platform. Issue #2016
2016-05-04 18:40:30 +02:00
#include "MachineImpl.h"
vbox: alloc memory of RTMem*Alloc within 2G window Fixes #2116
2016-10-04 11:07:59 +02:00
HRESULT genode_setup_machine(ComObjPtr<Machine> machine);
vbox5: check memory configuration stricter The required memory of the VMM depends on the VM memory configuration (vbox) and the available screen resolution. Check for insane configurations in the beginning to avoid late surprises. Issue #3216
2019-03-13 13:39:04 +01:00
HRESULT genode_check_memory_config(ComObjPtr<Machine> machine, size_t);
vbox: Add platform-specific setup machine hook Add call to genode_setup_machine prior to machine registration in frontend machine setup code. This enables platform-specific adjustments to the machine instance. The new function is used on hw_x86_64_muen to clamp the processor count to 1 as multiple virtual CPUs are not supported on this platform. Issue #2016
2016-05-04 18:40:30 +02:00
x86 vmm: add general multiprocessor support * repos/ports/include/vmm - add support to specify cpu location during vCPU construction * seoul - update to latest seoul branch supporting smp - adjust to vmm interface changes - vCPUs will be put in a round robin fashion on the available host CPUs, beginning with the next CPU after the default (boot) CPU - number of vCPUs can be specified in run script * virtualbox - adjust to vmm interface changes - uses still one vCPU, placed on default (boot) CPU Fixes #1212
2014-07-16 21:43:41 +02:00
/**
* Returns true if a vCPU could be started. If false we run without
* hardware acceleration support.
*/
bool create_emt_vcpu(pthread_t * pthread, size_t stack,
void *(*start_routine)(void *), void *arg,
Remove Allocator_guard This patch removes old 'Allocator_guard' utility and replaces its use with the modern 'Constrained_ram_allocator'. The adjustment of core in this respect has the side effect of a more accurate capability accounting in core's CPU, TRACE, and RM services. In particular, the dataspace capabilities needed for core-internal allocations via the 'Sliced_heap' are accounted to the client now. The same goes for nitpicker and nic_dump as other former users of the allocator guard. Hence, the patch also touches code at the client and server sides related to these services. The only remaining user of the 'Allocator_guard' is the Intel GPU driver. As the adaptation of this component would be too invasive without testing, this patch leaves this component unchanged by keeping a copy of the 'allocator_guard.h' locally at the component. Fixes #3750
2020-05-05 14:27:29 +02:00
Genode::Cpu_connection *,
vbox: use multiple host CPUs Fixes #1553
2015-07-24 18:38:34 +02:00
Genode::Affinity::Location location,
vbox: use emt thread names - eases debugging on smp setups Issue #2110
2016-09-23 10:10:01 +02:00
unsigned int cpu_id,
vbox5: use vm_session interface Issue #3111
2019-05-06 10:34:47 +02:00
const char * name, long prio);
x86 vmm: add general multiprocessor support * repos/ports/include/vmm - add support to specify cpu location during vCPU construction * seoul - update to latest seoul branch supporting smp - adjust to vmm interface changes - vCPUs will be put in a round robin fashion on the available host CPUs, beginning with the next CPU after the default (boot) CPU - number of vCPUs can be specified in run script * virtualbox - adjust to vmm interface changes - uses still one vCPU, placed on default (boot) CPU Fixes #1212
2014-07-16 21:43:41 +02:00
ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
uint64_t genode_cpu_hz();
timeout: use uint64_t for all plain time values This enforces the use of unsigned 64-bit values for time in the duration type, the timeout framework, the timer session, the userland timer-drivers, and the alarm framework on all platforms. The commit also adapts the code that uses these tools accross all basic repositories (base, base-*, os. gems, libports, ports, dde_*) to use unsigned 64-bit values for time as well as far as this does not imply profound modifications. Fixes #3208
2019-04-09 15:46:36 +02:00
void genode_update_tsc(void (*update_func)(void), Genode::uint64_t update_us);
ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
Remove Allocator_guard This patch removes old 'Allocator_guard' utility and replaces its use with the modern 'Constrained_ram_allocator'. The adjustment of core in this respect has the side effect of a more accurate capability accounting in core's CPU, TRACE, and RM services. In particular, the dataspace capabilities needed for core-internal allocations via the 'Sliced_heap' are accounted to the client now. The same goes for nitpicker and nic_dump as other former users of the allocator guard. Hence, the patch also touches code at the client and server sides related to these services. The only remaining user of the 'Allocator_guard' is the Intel GPU driver. As the adaptation of this component would be too invasive without testing, this patch leaves this component unchanged by keeping a copy of the 'allocator_guard.h' locally at the component. Fixes #3750
2020-05-05 14:27:29 +02:00
Genode::Cpu_connection * get_vcpu_cpu_connection();
vbox: enable guest additions Fixes #1157
2014-05-23 09:26:57 +02:00
vbox: use multiple host CPUs Fixes #1553
2015-07-24 18:38:34 +02:00
void genode_VMMR0_DO_GVMM_CREATE_VM(PSUPVMMR0REQHDR pReqHdr);
void genode_VMMR0_DO_GVMM_REGISTER_VMCPU(PVMR0 pVMR0, VMCPUID idCpu);
ports: add VirtualBox as VMM for Genode Fixes #1055
2013-08-21 11:37:21 +02:00
#endif /* _SUP_H_ */
Reference in New Issue Copy Permalink