Description
Describe the bug
When using a custom .dtb file, /dev/vcio is not created on boot.
To reproduce
Install RPiOS 64 bit beta
Update it, including the 5.10.63-v8+ kernel
Create a device tree from the running configuration (note: /dev/vcio does exist) with:
dtc -I fs -O dtb -o base.dtb /proc/device-tree
modify config.txt with device_tree=base.dtb
reboot
ls -l /dev/vcio
Expected behaviour
/dev/vcio is created
Actual behaviour
/dev/vcio is not created
System
Raspberry Pi 4 Model B Rev 1.2
Raspberry Pi reference 2021-05-07
Generated using pi-gen, https://github.com/RPi-Distro/pi-gen, 071d3956353f2be964d2d337d3b123f1872b7f53, stage 2
Sep 28, 2021 11:27:35
Copyright (c) 2012 Broadcom
version 778b6a4f3c7d8d48bb63c02c47bcfbac79417bea (clean) (release) (start)
Linux raspberrypi 5.10.63-v8+ #1457 SMP PREEMPT Tue Sep 28 11:27:02 BST 2021 aarch64 GNU/Linux
Additional context
This same setup works as expected with the 5.10.63-v7 kernel and 32 bit RPiOS.
Note: The system info was typed not copied, so possible typos exist.