Device-ID from Device Tree not mapped to user space

BDUG September 10, 2024, 5:57pm 2

Fixed. Compare https://sel4.discourse.group/t/rust-call-cause-vm-fault-on-data-at-address/865/13

Topic		Replies	Views	Activity
Sel4 VMM Virtio Net Related Porting on Other SOC seL4 kernel	1	252	March 11, 2022
Sel4vm: Switch to use seL4_LargePageObject in VM's RAM register to reduce the memory overhead SIG VMM arm	0	123	March 22, 2024
VSpace Address 0xDD00_0000 - 0xDD20_0000 in Qemu Virt? SIG VMM arm	1	25	July 11, 2024
Request to map a specific physical address from a userspace application seL4 kernel arm	3	323	October 30, 2024
Second VirtIO access cause vm fault New to seL4	8	26	September 10, 2024