On Wed, Jun 21, 2023 at 02:19:50PM +0200, Andrew Jones wrote: > On Wed, Jun 21, 2023 at 09:22:33AM +0200, Alexandre Ghiti wrote: ... > > +Hardware description > > +-------------------- > > + > > +The firmware can pass either a devicetree or ACPI tables to the RISC-V kernel. > > + > > +The devicetree is either passed directly to the kernel from the previous stage > > +using the `$a1` register, or when booting with UEFI, it can be passed using the > > +EFI configuration table. > > + > > +The ACPI tables are passed to the kernel using the EFI configuration table. In > > +this case, a tiny devicetree is still created by the EFI stub. Please refer to > > +"EFI stub and devicetree" tree section below for details about this devicetree. > ^ redundant 'tree' here > Can whoever applies this drop this 'tree' I pointed while applying? Thanks, drew
