[raspberry][zircon][device drivers] RPI4 device drivers first device driver (GPIO) works (I/Os, IRQs, AltFuncs, etc) for boot psci needs BL31 (ARM Trusted Firmware) installed on SD platfrom bus starts a dummy rpi4 board driver i2c, sd, eth etc. drivers are bound but don't work yet they are only templates copied from vim3 Change-Id: I73521bbd7acabecddc232e2dd41c6a3ad20d8f08
Fuchsia is an open source, general purpose operating system supporting modern 64-bit Intel and ARM processors.
We expect everyone interacting with our project to respect our code of conduct.
Read more about Fuchsia's principles.
See Getting Started.
See fuchsia.dev.