Installing OpenBSD to eMMC

[shep]

I'm try to think through and plan the installation of OpenBSD amd64/current to a netbook with eMMC storage.

My netbook has 2 current issues. install64.fs (?bsd.rd) does not recognize eMMC storage and the wireless card, rtl8723BE, is not presently supported. Per Kevin Lo, rtl8723BE support is in the works. There are reports that formated eMMC storage is recognized by bsd.sp/bsd.mp.

Thank you for the suggestion, Stuart! That was fun, but now the plot gets
thicker.
I installed 6.3 to a usb stick, but when I reboot into the install, my
eMMC is suddenly showing up as 29GB, as it should.

Should I try somehow manually installing from my openbsd install on the usb
to the eMMC? That seems convoluted but possibly fun.

Here are the sdmmc related lines from dmesg in the install environment:

source: http://openbsd-archive.7691.n7.nabbl...-td352781.html

The latest linux kernel, and by report FreeBSD 12rc, recognize eMMC storage and I was able to install Arch Linux. The Arch Linux partitions:

Disk /dev/mmcblk0: 29.1 GiB, 31268536320 bytes, 61071360 sectors
Units: sectors of 1 * 512 = 512 bytes
Sector size (logical/physical): 512 bytes / 512 bytes
I/O size (minimum/optimal): 512 bytes / 512 bytes
Disklabel type: gpt
Disk identifier: AB2391E3-95E4-4EA2-9856-7965843FBD23

Device            Start      End  Sectors  Size Type
/dev/mmcblk0p1     2048  2099199  2097152    1G BIOS boot
/dev/mmcblk0p2  2099200 18876415 16777216    8G Linux swap
/dev/mmcblk0p3 18876416 38334463 19458048  9.3G Linux filesystem
/dev/mmcblk0p4 38334464 61069311 22734848 10.9G Linux filesystem

I'm wondering about changing /dev/mmcblk0p1 to an EFI partition and

mount /dev/mmcblk0p1/mnt2
mkdir -p /mnt2/efi/boot
cp /mnt/usr/mdec/BOOTX64.EFI /mnt2/efi/boot

Delete partitions /dev/mmcblk0p2 -> /dev/mmcblk0p4 and create /dev/mmcblk0p2 out of the remaining space as type A6. disklabel /dev/mmcblk0. Then a choice: extract all fileset manually or just bsd.rd and hopefully install the remaining filesets.

Advice/Comments?