ehmry/genode-ehmry
ehmry/genode-ehmry
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

base-hw: fix compile errors with GCC 8.3.0

Browse Source 
Fixes #3326
This commit is contained in:
Christian Prochaska 2019-05-06 14:06:50 +02:00 committed by Christian Helmuth
parent 79fad936fa
commit 70e13a3a56
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
repos/base-hw/src/core/spec/arm_v7/virtualization/kernel/vm.cc
View File

@ -210,7 +210,7 @@ Kernel::Vm::Vm(void * const state,
void * const table)
: Cpu_job(Cpu_priority::MIN, 0),
_id(alloc().alloc()),
_state((Genode::Vm_state * const)state),
_state((Genode::Vm_state *)state),
_context(context),
_table(table)
{

16
repos/base-hw/src/include/hw/spec/x86_64/acpi_rsdp.h
View File

@ -22,14 +22,14 @@ namespace Hw {
struct Hw::Acpi_rsdp
{
Genode::uint64_t signature;
Genode::uint8_t checksum;
char oem[6];
Genode::uint8_t revision;
Genode::uint32_t rsdt;
Genode::uint32_t length;
Genode::uint64_t xsdt;
Genode::uint32_t reserved;
Genode::uint64_t signature { 0 };
Genode::uint8_t checksum { 0 };
char oem[6] { 0 };
Genode::uint8_t revision { 0 };
Genode::uint32_t rsdt { 0 };
Genode::uint32_t length { 0 };
Genode::uint64_t xsdt { 0 };
Genode::uint32_t reserved { 0 };
bool valid() {
const char sign[] = "RSD PTR ";