Problems booting a MACCHIATObin Double Shot Rev 1.3 with head -r335027

[Mark Millard]

On 2019-Dec-1, at 13:42, greg at unrelenting.technology wrote:

> December 2, 2019 12:32 AM, "Mark Millard" <marklmi at yahoo.com> wrote:
>>> What is the distinction between the two .bin files?
> 
> I don't remember, but I just decided not to overwrite one of the files
> on the S3 bucket for some reason back then :D
> 
>> With changing to ACPI with flash-image2.bin mostly worked
>> and did boot to multi-user (dtb failed the same old way):
>> 
>> But the console output for the boot has a large hole in it:
> 
> Hm, only the userspace but not the kernel one.
> I'm more familiar with the opposite case :)
> (namely on amazon ec2: https://reviews.freebsd.org/D19896)
> 
> Again, did you enable boot_multicons in loader.conf?

boot_multicons=YES
boot_serial=YES

made no difference to the hole in the output --or any other
difference that I've noticed.

My interpretation is that the hole in:

Booting [/boot/kernel/kernel]...
No valid device tree blob found!
WARNING! Trying to fire up the kernel, but no device tree blob found!
!!!! LOTS OF STUFF MISSING HERE. !!!!
Setting hostuuid: 7c431ce3-c871-11e8-974a-e0fff70020ed.

spans from at the end of the the loader, through all the
kernel output, into the output associated with world.

Given that it managed to boot, dmesg does show from
---<<BOOT>>--- on.

And I observe that the dtb notice really is a to-be-expected
warning for ACPI in this sort of context.

>> I do not know what to do to get, say, the slower speed EtherNet going,
>> or if I can. But the serial console seems to be working fine once it
>> starts going.
> 
> The onboard Ethernet? Nope, even the 1Gbit port belongs to the fancy Marvell PPv2 NIC.
> I sort of barely attempted porting the driver from Linux:
> https://github.com/myfreeweb/pepevtwo-kmod
> but did not have the time/energy to implement anything beyond writing the initial
> configuration registers on the device.
> 
> I just use an axge(4) based USB Ethernet dongle.
> Since you don't use a GPU, you can add a PCIe NIC instead :)

Good to know. I'll look into finding and using a USB Ethernet dongle
that I think is around somewhere.

Thanks much.



===
Mark Millard
marklmi at yahoo.com
( dsl-only.net went
away in early 2018-Mar)