Document support of Pine64 Quartz64 Board (RK3566)
axel-h opened this issue · comments
Follow-up from seL4/seL4#727
Document Pine64 Quartz64Board support and maintainer. Or list this an unmaintained and mention at least that a PR/branch exists with the changes.