Date: Sun, 4 Oct 2020 00:59:15 -0700 From: Mark Millard <marklmi@yahoo.com> To: tech-lists <tech-lists@zyxst.net> Cc: freebsd-arm <freebsd-arm@freebsd.org>, Robert Clausecker <fuz@fuz.su> Subject: Re: RPi4B u-boot based booting and hw.cpufreq.voltage_core and dev.cpu.0.freq use: able to use 2000 MHz Message-ID: <5681B635-18E8-465E-9BC1-8E398BC6A306@yahoo.com> In-Reply-To: <19D27F91-F038-4393-90BF-7A439F8BF4B1@yahoo.com> References: <0578EC2B-D21C-46AA-AD3E-CD13985B18FA.ref@yahoo.com> <0578EC2B-D21C-46AA-AD3E-CD13985B18FA@yahoo.com> <20200926133934.GD54660@bastion.zyxst.net> <64B39936-7689-4240-A5F9-4DF5EAE4DE42@yahoo.com> <19D27F91-F038-4393-90BF-7A439F8BF4B1@yahoo.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On 2020-Sep-26, at 19:01, Mark Millard <marklmi at yahoo.com> wrote: > On 2020-Sep-26, at 13:20, Mark Millard <marklmi at yahoo.com> wrote: >=20 >> On 2020-Sep-26, at 06:39, tech-lists <tech-lists at zyxst.net> wrote: >>=20 >>> . . . >>> Exellent! On the basis of your post I went ahead and removed from = config.txt >>> three lines, then added two and rebooted. >>>=20 >>> It's now this: >>>=20 >>> arm_control=3D0x200 >>> arm_64bit=3D1 >>> dtoverlay=3Ddisable-bt >>> dtoverlay=3Dmmc >>> device_tree_address=3D0x4000 >>> kernel=3Du-boot.bin >>> armstub=3Darmstub8-gic.bin >>> over_voltage=3D6 >>> arm_freq=3D2000 >>>=20 >>> before, when it didn't work, it had this: >>> [same as above], apart from >>> gpu_mem=3D16 >>> over_voltage=3D6 >>> arm_freq=3D2100 >>>=20 >=20 Turns out that gpu_mem=3D32 works for the 8 GiByte RPi4B. (Note: I do have a display connected but no X11m just a console login prompt.) But gpu_mem=3D16 prevents further I/O to the microsd card during the early RPi stages of things, before FreeBSD is involved: . . . rsc 32 fat-sectors 635 c-count 81269 c-size 2 r-dir 2 r-sec 0 Read config.txt bytes 177 hnd 0x00006938 hash '9be9ccf1915ff016' recover4.elf not found (6) recovery.elf not found (6) start4cd.elf not found (6) start_cd.elf not found (6) Firmware not found ERROR: 00000004 . . .=20 In my context it then tried booting from the USB3 SSD and that worked. (Only the microsd card had gpu_mem=3D16 but I'm not sure if the config.txt from the USB3 SSD was read or not. The USB3 SSD booting is set up for uefi/ACPI booting experiments. The microsd card was set up for u-boot booting experiments [when it gets that far].) =3D=3D=3D Mark Millard marklmi at yahoo.com ( dsl-only.net went away in early 2018-Mar)
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?5681B635-18E8-465E-9BC1-8E398BC6A306>