On Thu, Jun 22, 2023 at 7:24 PM Andrew Jones <ajones@xxxxxxxxxxxxxxxx> wrote: > > 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? Yes, sorry: @Conor Dooley give me the overly long lines you wanted me to break and I'll send a v3, it won't take much time and I'll fix this too! > > Thanks, > drew
