genode/repos/os/src
Stefan Kalkowski c5b9cabd89 vmm: enable effective C++ error switch
Several explicit casts could not be avoided yet, due to the missing
differentiation in between virtual and physical addresses that leads
to casting problems when using 32-bit ARM, and because the MMIO
register framework does not allow to return narrowed types of bitfields.

Apart from that, this commit fixes a switch-case fallthrough error in
Mmio_register::write.

Fix genodelabs/genode#4770
2023-02-27 08:22:49 +01:00
..
app pci_decode: report ACPI SCI IRQ in acpi device 2023-01-24 12:14:23 +01:00
drivers os: remove conversion warnings/errors from virtio 2023-02-27 08:22:49 +01:00
init xml_node: change with_sub_node signature 2022-09-19 14:00:33 +02:00
lib vfs: buffer XML in <inline> file system 2023-02-27 08:22:49 +01:00
server vmm: enable effective C++ error switch 2023-02-27 08:22:49 +01:00
test vfs: remove 'file_size' from read/write interfaces 2023-02-27 08:22:49 +01:00
trace/policy os: src/lib/trace/policy -> src/trace/policy 2022-09-19 13:59:27 +02:00