I have been using arch-32 bit on my Rasberry Pi-4 and decided to try AArch64
using the procedure as on their https://archlinuxarm.org/ website.
No /dev/video devices - hence no X windows working or camera.
I tried using start_x=1 in config.txt - did not help.
Its difficult reading log files when the audit thing keeps outputting lines.
Where do I put my audit=0 now? - no cmdline.txt file
Can you please point me to the boot.txt documentation as I am
unfamiliar with U-boot.
Is their a special kernel is for Rpi-4?