Re: BBB - found 6 disks

2019-06-06 Thread Jan Stary
On Sep 12 21:57:28, h...@stare.cz wrote:
> On Sep 08 13:49:24, h...@stare.cz wrote:
> > This is the latest miniroot-am335x-60.fs installing
> > on a BeagleBone Black. Unlike previous attempts,
> > it installs on the internal MMC, creating and
> > mounting the (auto-partitioned) filesystem.
> > Entire log is below.
> > 
> > While figuring out the disks and where to boot from,
> > the EFI booting code (is it the EFI booting code?)
> > eventually concludes that there are 6 disks
> > - that seems wrong. Or is there something in
> > enumerating devices on the BBB that really makes it six?
> 
> It's still there with the latest snapshot,
> but OpenBSD runs just fine.

Still the same (but OpenBSD runs just fine) - see below.

Jan


U-Boot SPL 2017.03 (Mar 26 2017 - 16:58:08)
Trying to boot from MMC2
MMC partition switch failed
*** Warning - MMC partition switch failed, using default environment

reading u-boot.img
reading u-boot.img


U-Boot 2017.03 (Mar 26 2017 - 16:58:08 -0600)

CPU  : AM335X-GP rev 2.0
I2C:   ready
DRAM:  512 MiB
MMC:   OMAP SD/MMC: 0, OMAP SD/MMC: 1
*** Warning - bad CRC, using default environment

 not set. Validating first E-fuse MAC
Net:   cpsw, usb_ether
Press SPACE to abort autoboot in 2 seconds
switch to partitions #0, OK
mmc0 is current device
SD/MMC found on device 0
reading boot.scr
** Unable to read file boot.scr **
reading uEnv.txt
** Unable to read file uEnv.txt **
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
reading /am335x-boneblack.dtb
34886 bytes read in 18 ms (1.8 MiB/s)
Found EFI removable media binary efi/boot/bootarm.efi
reading efi/boot/bootarm.efi
87388 bytes read in 14 ms (6 MiB/s)
## Starting EFI application at 8200 ...
Scanning disks on usb...
Scanning disks on mmc...
MMC Device 2 not found
MMC Device 3 not found
Found 6 disks
>> OpenBSD/armv7 BOOTARM 1.3
boot>
booting sd0a:/bsd: 4568680+689304+238576+563328/[300023+120+314352+278616]=0x0

OpenBSD/armv7 booting ...
arg0 0xc09a2f8c arg1 0xe05 arg2 0x8800
Allocating page tables
IRQ stack: p0x809d1000 v0xc09d1000
ABT stack: p0x809d2000 v0xc09d2000
UND stack: p0x809d3000 v0xc09d3000
SVC stack: p0x809d4000 v0xc09d4000
Creating L1 page table at 0x809a4000
Mapping kernel
Constructing L2 page tables
undefined page type 0x2 pa 0x8000 va 0x8000 pages 0x2000 attr 0x8
type 0x7 pa 0x8200 va 0x8000 pages 0x6000 attr 0x8
type 0x4 pa 0x8800 va 0x8800 pages 0xa attr 0x8
type 0x7 pa 0x8800b000 va 0x8000 pages 0x147af attr 0x8
type 0x2 pa 0x9c7ba000 va 0x9c7ba000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7be000 va 0x9c7be000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7c2000 va 0x9c7c2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7c6000 va 0x9c7c6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ca000 va 0x9c7ca000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ce000 va 0x9c7ce000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7d2000 va 0x9c7d2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7d6000 va 0x9c7d6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7da000 va 0x9c7da000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7de000 va 0x9c7de000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7e2000 va 0x9c7e2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7e6000 va 0x9c7e6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ea000 va 0x9c7ea000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ee000 va 0x9c7ee000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7f2000 va 0x9c7f2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7f6000 va 0x9c7f6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7fa000 va 0x9c7fa000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7fe000 va 0x9c7fe000 pages 0x4 attr 0x8
type 0x2 pa 0x9c802000 va 0x9c802000 pages 0x4 attr 0x8
type 0x2 pa 0x9c806000 va 0x9c806000 pages 0x4 attr 0x8
type 0x2 pa 0x9c80a000 va 0x9c80a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c80e000 va 0x9c80e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c812000 va 0x9c812000 pages 0x4 attr 0x8
type 0x2 pa 0x9c816000 va 0x9c816000 pages 0x4 attr 0x8
type 0x2 pa 0x9c81a000 va 0x9c81a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c81e000 va 0x9c81e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c822000 va 0x9c822000 pages 0x4 attr 0x8
type 0x2 pa 0x9c826000 va 0x9c826000 pages 0x4 attr 0x8
type 0x2 pa 0x9c82a000 va 0x9c82a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c82e000 va 0x9c82e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c832000 va 0x9c832000 pages 0x4 attr 0x8
type 0x2 pa 0x9c836000 va 0x9c836000 pages 0x4 attr 0x8
type 0x2 pa 0x9c83a000 va 0x9c83a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c83e000 va 0x9c83e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c842000 va 0x9c842000 pages 0x4 attr 0x8
type 0x2 pa 0x9c846000 va 0x9c846000 pages 0x4 attr 0x8
type 0x2 pa 0x9c84a000 va 0x9c84a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c84e000 va 0x9c84e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c852000 va 0x9c852000 pages 0x4 attr 0x8
type 0x2 pa 0x9c856000 va 0x9c856000 pages 0x4 attr 0x8
type 0x2 pa 0x9c85a000 va 0x9c85a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c85e000 va 0x9c85e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c862000 va 0x9c862000 pages 0x4 attr 0x8
type 0x2 pa 0x9c866000 va 0x9c866000 pages 0x4 attr 0x8
type 0x2 pa 0x9c86a000 va 

Re: Beagle Bone Black sees less memory now

2019-06-06 Thread Jan Stary
On May 25 02:34:36, i...@ce.gl wrote:
> I suspect this might be DTB related, I will take a look sometime soon.

It is still there in current.

Jan


U-Boot SPL 2017.03 (Mar 26 2017 - 16:58:08)
Trying to boot from MMC2
MMC partition switch failed
*** Warning - MMC partition switch failed, using default environment

reading u-boot.img
reading u-boot.img


U-Boot 2017.03 (Mar 26 2017 - 16:58:08 -0600)

CPU  : AM335X-GP rev 2.0
I2C:   ready
DRAM:  512 MiB
MMC:   OMAP SD/MMC: 0, OMAP SD/MMC: 1
*** Warning - bad CRC, using default environment

 not set. Validating first E-fuse MAC
Net:   cpsw, usb_ether
Press SPACE to abort autoboot in 2 seconds
switch to partitions #0, OK
mmc0 is current device
SD/MMC found on device 0
reading boot.scr
** Unable to read file boot.scr **
reading uEnv.txt
** Unable to read file uEnv.txt **
switch to partitions #0, OK
mmc0 is current device
Scanning mmc 0:1...
reading /am335x-boneblack.dtb
34886 bytes read in 18 ms (1.8 MiB/s)
Found EFI removable media binary efi/boot/bootarm.efi
reading efi/boot/bootarm.efi
87388 bytes read in 14 ms (6 MiB/s)
## Starting EFI application at 8200 ...
Scanning disks on usb...
Scanning disks on mmc...
MMC Device 2 not found
MMC Device 3 not found
Found 6 disks
>> OpenBSD/armv7 BOOTARM 1.3
boot>
booting sd0a:/bsd: 4568680+689304+238576+563328/[300023+120+314352+278616]=0x0

OpenBSD/armv7 booting ...
arg0 0xc09a2f8c arg1 0xe05 arg2 0x8800
Allocating page tables
IRQ stack: p0x809d1000 v0xc09d1000
ABT stack: p0x809d2000 v0xc09d2000
UND stack: p0x809d3000 v0xc09d3000
SVC stack: p0x809d4000 v0xc09d4000
Creating L1 page table at 0x809a4000
Mapping kernel
Constructing L2 page tables
undefined page type 0x2 pa 0x8000 va 0x8000 pages 0x2000 attr 0x8
type 0x7 pa 0x8200 va 0x8000 pages 0x6000 attr 0x8
type 0x4 pa 0x8800 va 0x8800 pages 0xa attr 0x8
type 0x7 pa 0x8800b000 va 0x8000 pages 0x147af attr 0x8
type 0x2 pa 0x9c7ba000 va 0x9c7ba000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7be000 va 0x9c7be000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7c2000 va 0x9c7c2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7c6000 va 0x9c7c6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ca000 va 0x9c7ca000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ce000 va 0x9c7ce000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7d2000 va 0x9c7d2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7d6000 va 0x9c7d6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7da000 va 0x9c7da000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7de000 va 0x9c7de000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7e2000 va 0x9c7e2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7e6000 va 0x9c7e6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ea000 va 0x9c7ea000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7ee000 va 0x9c7ee000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7f2000 va 0x9c7f2000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7f6000 va 0x9c7f6000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7fa000 va 0x9c7fa000 pages 0x4 attr 0x8
type 0x2 pa 0x9c7fe000 va 0x9c7fe000 pages 0x4 attr 0x8
type 0x2 pa 0x9c802000 va 0x9c802000 pages 0x4 attr 0x8
type 0x2 pa 0x9c806000 va 0x9c806000 pages 0x4 attr 0x8
type 0x2 pa 0x9c80a000 va 0x9c80a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c80e000 va 0x9c80e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c812000 va 0x9c812000 pages 0x4 attr 0x8
type 0x2 pa 0x9c816000 va 0x9c816000 pages 0x4 attr 0x8
type 0x2 pa 0x9c81a000 va 0x9c81a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c81e000 va 0x9c81e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c822000 va 0x9c822000 pages 0x4 attr 0x8
type 0x2 pa 0x9c826000 va 0x9c826000 pages 0x4 attr 0x8
type 0x2 pa 0x9c82a000 va 0x9c82a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c82e000 va 0x9c82e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c832000 va 0x9c832000 pages 0x4 attr 0x8
type 0x2 pa 0x9c836000 va 0x9c836000 pages 0x4 attr 0x8
type 0x2 pa 0x9c83a000 va 0x9c83a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c83e000 va 0x9c83e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c842000 va 0x9c842000 pages 0x4 attr 0x8
type 0x2 pa 0x9c846000 va 0x9c846000 pages 0x4 attr 0x8
type 0x2 pa 0x9c84a000 va 0x9c84a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c84e000 va 0x9c84e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c852000 va 0x9c852000 pages 0x4 attr 0x8
type 0x2 pa 0x9c856000 va 0x9c856000 pages 0x4 attr 0x8
type 0x2 pa 0x9c85a000 va 0x9c85a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c85e000 va 0x9c85e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c862000 va 0x9c862000 pages 0x4 attr 0x8
type 0x2 pa 0x9c866000 va 0x9c866000 pages 0x4 attr 0x8
type 0x2 pa 0x9c86a000 va 0x9c86a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c86e000 va 0x9c86e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c872000 va 0x9c872000 pages 0x4 attr 0x8
type 0x2 pa 0x9c876000 va 0x9c876000 pages 0x4 attr 0x8
type 0x2 pa 0x9c87a000 va 0x9c87a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c87e000 va 0x9c87e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c882000 va 0x9c882000 pages 0x4 attr 0x8
type 0x2 pa 0x9c886000 va 0x9c886000 pages 0x4 attr 0x8
type 0x2 pa 0x9c88a000 va 0x9c88a000 pages 0x4 attr 0x8
type 0x2 pa 0x9c88e000 va 0x9c88e000 pages 0x4 attr 0x8
type 0x2 pa 0x9c892000 va 0x9c892000 pages 0x4 attr

Re: BBB - found 6 disks

2019-06-06 Thread Mark Kettenis
> Date: Thu, 6 Jun 2019 14:02:03 +0200
> From: Jan Stary 
> 
> On Sep 12 21:57:28, h...@stare.cz wrote:
> > On Sep 08 13:49:24, h...@stare.cz wrote:
> > > This is the latest miniroot-am335x-60.fs installing
> > > on a BeagleBone Black. Unlike previous attempts,
> > > it installs on the internal MMC, creating and
> > > mounting the (auto-partitioned) filesystem.
> > > Entire log is below.
> > > 
> > > While figuring out the disks and where to boot from,
> > > the EFI booting code (is it the EFI booting code?)
> > > eventually concludes that there are 6 disks
> > > - that seems wrong. Or is there something in
> > > enumerating devices on the BBB that really makes it six?
> > 
> > It's still there with the latest snapshot,
> > but OpenBSD runs just fine.
> 
> Still the same (but OpenBSD runs just fine) - see below.
> 
>   Jan
> 
> 
> U-Boot SPL 2017.03 (Mar 26 2017 - 16:58:08)
> Trying to boot from MMC2
> MMC partition switch failed
> *** Warning - MMC partition switch failed, using default environment
> 
> reading u-boot.img
> reading u-boot.img
> 
> 
> U-Boot 2017.03 (Mar 26 2017 - 16:58:08 -0600)
> 
> CPU  : AM335X-GP rev 2.0
> I2C:   ready
> DRAM:  512 MiB
> MMC:   OMAP SD/MMC: 0, OMAP SD/MMC: 1
> *** Warning - bad CRC, using default environment
> 
>  not set. Validating first E-fuse MAC
> Net:   cpsw, usb_ether
> Press SPACE to abort autoboot in 2 seconds
> switch to partitions #0, OK
> mmc0 is current device
> SD/MMC found on device 0
> reading boot.scr
> ** Unable to read file boot.scr **
> reading uEnv.txt
> ** Unable to read file uEnv.txt **
> switch to partitions #0, OK
> mmc0 is current device
> Scanning mmc 0:1...
> reading /am335x-boneblack.dtb
> 34886 bytes read in 18 ms (1.8 MiB/s)
> Found EFI removable media binary efi/boot/bootarm.efi
> reading efi/boot/bootarm.efi
> 87388 bytes read in 14 ms (6 MiB/s)
> ## Starting EFI application at 8200 ...
> Scanning disks on usb...
> Scanning disks on mmc...
> MMC Device 2 not found
> MMC Device 3 not found
> Found 6 disks

I think U-Boot presents each MBR/GPT partition as a "disk" in addition
to the full disk.  Nothing to worry about from an OpenBSD perspective.

> >> OpenBSD/armv7 BOOTARM 1.3
> boot>
> booting sd0a:/bsd: 4568680+689304+238576+563328/[300023+120+314352+278616]=0x0
> 
> OpenBSD/armv7 booting ...
> arg0 0xc09a2f8c arg1 0xe05 arg2 0x8800
> Allocating page tables
> IRQ stack: p0x809d1000 v0xc09d1000
> ABT stack: p0x809d2000 v0xc09d2000
> UND stack: p0x809d3000 v0xc09d3000
> SVC stack: p0x809d4000 v0xc09d4000
> Creating L1 page table at 0x809a4000
> Mapping kernel
> Constructing L2 page tables
> undefined page type 0x2 pa 0x8000 va 0x8000 pages 0x2000 attr 0x8
> type 0x7 pa 0x8200 va 0x8000 pages 0x6000 attr 0x8
> type 0x4 pa 0x8800 va 0x8800 pages 0xa attr 0x8
> type 0x7 pa 0x8800b000 va 0x8000 pages 0x147af attr 0x8
> type 0x2 pa 0x9c7ba000 va 0x9c7ba000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7be000 va 0x9c7be000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7c2000 va 0x9c7c2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7c6000 va 0x9c7c6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ca000 va 0x9c7ca000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ce000 va 0x9c7ce000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7d2000 va 0x9c7d2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7d6000 va 0x9c7d6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7da000 va 0x9c7da000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7de000 va 0x9c7de000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7e2000 va 0x9c7e2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7e6000 va 0x9c7e6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ea000 va 0x9c7ea000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ee000 va 0x9c7ee000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7f2000 va 0x9c7f2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7f6000 va 0x9c7f6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7fa000 va 0x9c7fa000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7fe000 va 0x9c7fe000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c802000 va 0x9c802000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c806000 va 0x9c806000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c80a000 va 0x9c80a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c80e000 va 0x9c80e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c812000 va 0x9c812000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c816000 va 0x9c816000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c81a000 va 0x9c81a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c81e000 va 0x9c81e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c822000 va 0x9c822000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c826000 va 0x9c826000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c82a000 va 0x9c82a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c82e000 va 0x9c82e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c832000 va 0x9c832000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c836000 va 0x9c836000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c83a000 va 0x9c83a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c83e000 va 0x9c83e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c842000 va 0x9c842000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c846000 va 0x9c846000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c84a000 va 0x9c84a00

Re: Beagle Bone Black sees less memory now

2019-06-06 Thread Mark Kettenis
> Date: Thu, 6 Jun 2019 14:00:13 +0200
> From: Jan Stary 
> 
> On May 25 02:34:36, i...@ce.gl wrote:
> > I suspect this might be DTB related, I will take a look sometime soon.
> 
> It is still there in current.

We now use the EFI memory map to determine what memory is available.
It now correctly excludes memory regions excluded for things like
framebuffers and EFI runtime services.  In addition to that, the code
that processes the EFI memory map is fairly conservative and does not
consider the memory that is in use by U-Boot as "free".  We probably
should change that, but in that case we need to be careful not to
overwrite data passed by U-Boot to the kernel and the kernel itself.

> U-Boot SPL 2017.03 (Mar 26 2017 - 16:58:08)
> Trying to boot from MMC2
> MMC partition switch failed
> *** Warning - MMC partition switch failed, using default environment
> 
> reading u-boot.img
> reading u-boot.img
> 
> 
> U-Boot 2017.03 (Mar 26 2017 - 16:58:08 -0600)
> 
> CPU  : AM335X-GP rev 2.0
> I2C:   ready
> DRAM:  512 MiB
> MMC:   OMAP SD/MMC: 0, OMAP SD/MMC: 1
> *** Warning - bad CRC, using default environment
> 
>  not set. Validating first E-fuse MAC
> Net:   cpsw, usb_ether
> Press SPACE to abort autoboot in 2 seconds
> switch to partitions #0, OK
> mmc0 is current device
> SD/MMC found on device 0
> reading boot.scr
> ** Unable to read file boot.scr **
> reading uEnv.txt
> ** Unable to read file uEnv.txt **
> switch to partitions #0, OK
> mmc0 is current device
> Scanning mmc 0:1...
> reading /am335x-boneblack.dtb
> 34886 bytes read in 18 ms (1.8 MiB/s)
> Found EFI removable media binary efi/boot/bootarm.efi
> reading efi/boot/bootarm.efi
> 87388 bytes read in 14 ms (6 MiB/s)
> ## Starting EFI application at 8200 ...
> Scanning disks on usb...
> Scanning disks on mmc...
> MMC Device 2 not found
> MMC Device 3 not found
> Found 6 disks
> >> OpenBSD/armv7 BOOTARM 1.3
> boot>
> booting sd0a:/bsd: 4568680+689304+238576+563328/[300023+120+314352+278616]=0x0
> 
> OpenBSD/armv7 booting ...
> arg0 0xc09a2f8c arg1 0xe05 arg2 0x8800
> Allocating page tables
> IRQ stack: p0x809d1000 v0xc09d1000
> ABT stack: p0x809d2000 v0xc09d2000
> UND stack: p0x809d3000 v0xc09d3000
> SVC stack: p0x809d4000 v0xc09d4000
> Creating L1 page table at 0x809a4000
> Mapping kernel
> Constructing L2 page tables
> undefined page type 0x2 pa 0x8000 va 0x8000 pages 0x2000 attr 0x8
> type 0x7 pa 0x8200 va 0x8000 pages 0x6000 attr 0x8
> type 0x4 pa 0x8800 va 0x8800 pages 0xa attr 0x8
> type 0x7 pa 0x8800b000 va 0x8000 pages 0x147af attr 0x8
> type 0x2 pa 0x9c7ba000 va 0x9c7ba000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7be000 va 0x9c7be000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7c2000 va 0x9c7c2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7c6000 va 0x9c7c6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ca000 va 0x9c7ca000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ce000 va 0x9c7ce000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7d2000 va 0x9c7d2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7d6000 va 0x9c7d6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7da000 va 0x9c7da000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7de000 va 0x9c7de000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7e2000 va 0x9c7e2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7e6000 va 0x9c7e6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ea000 va 0x9c7ea000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7ee000 va 0x9c7ee000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7f2000 va 0x9c7f2000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7f6000 va 0x9c7f6000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7fa000 va 0x9c7fa000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c7fe000 va 0x9c7fe000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c802000 va 0x9c802000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c806000 va 0x9c806000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c80a000 va 0x9c80a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c80e000 va 0x9c80e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c812000 va 0x9c812000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c816000 va 0x9c816000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c81a000 va 0x9c81a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c81e000 va 0x9c81e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c822000 va 0x9c822000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c826000 va 0x9c826000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c82a000 va 0x9c82a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c82e000 va 0x9c82e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c832000 va 0x9c832000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c836000 va 0x9c836000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c83a000 va 0x9c83a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c83e000 va 0x9c83e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c842000 va 0x9c842000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c846000 va 0x9c846000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c84a000 va 0x9c84a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c84e000 va 0x9c84e000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c852000 va 0x9c852000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c856000 va 0x9c856000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c85a000 va 0x9c85a000 pages 0x4 attr 0x8
> type 0x2 pa 0x9c85e000 va 0x9c85e000 pages