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

Hello Mark.

I know,I know,

but on the sd card I've "burnt" an image of FreeBSD that should work out of
the box,even if it is old. I've got from here :

https://forum.khadas.com/t/freebsd-for-edge-edge-v/5794/65?u=mario_marietto

On Sun, Jul 6, 2025 at 9:31 PM Mark Millard <[email protected]> wrote:

> On Jul 6, 2025, at 05:40, Mario Marietto <[email protected]> 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
>
>

-- 
Mario.