mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-12 05:55:37 +00:00
c5b9cabd89
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