Re: How to boot FreeBSD installed on the sd card on the Khadas Edge-V instead of Android

On Jul 6, 2025, at 05:40, Mario Marietto <marietto2008@gmail.com> wrote:

> I’ve got the board Khadas Edge-V to my home. I’ve installed FreeBSD on the sd card and I would like to boot from it. But everytime that I turn on the board,Android boots instead of FreeBSD. How can I boot the board from the sd card ? 
> 
> From here :
> 
> https://forum.khadas.com/t/how-to-boot-an-os-from-the-sd-card-instead-of-android/25074
> 
> I read that :
> Disconnect the power supply, insert the SD card, access the power supply, and press the Function Button three times within five seconds.Will boot from SD card 
> I tried,but it did not work. On my keyboard I don’t have a Function Button,but the F (1-12) keys. Which one is the right one ? 

Hello.

I know nothing about the specific board referenced.
But the following notes may be important.

Most small arm boards require more than FreeBSD to be
installed to operate: Things like U-Boot or EDK2/ACPI
or EDK2/DeviceTree are involved but are not part of
FreeBSD. Also, the appropriate FreeBSD loader commonly
needs to be copied to an msdosfs file system on some
media that is involved in the boot sequence for the
board. At least historically this was not automatic.

Which is to be in use in your environment: U-Boot?
EDk2/ACPI?, EDK2/DeviceTree? Something else (what)?

Another issue is that, for Device Tree styles of booting,
the FreeBSD kernel needs to have been modified to handle
the all contents of the Device Tree involved, including
anything not common with any prior board's support.

I do not see any indication that the ports tree has a
sysutils/u-boot-* for the board that you reference.
That suggests that the kernel may well need work to
get various things operating. It may be that there
are examples of the SOC but nothing board specific.

You may need to report the details of how you "installed
FreeBSD to the sd card", including which variant of
FreeBSD installation materials were used and where you
got the materials from.

I'm not aware of FreeBSD supporting any USB-C port that
normally can handle both Display Port and USB3 uses.

===
Mark Millard
marklmi at yahoo.com