Re: Anyone know how to get FreeBSD on a framework 13 laptop?

From: Chris <bsd-lists_at_bsdforge.com>
Date: Wed, 10 Dec 2025 07:35:56 UTC
On 2025-12-09 22:34, Cy Schubert wrote:
> In message <63ebfc5a49b38196ead43b7403f0a12c@bsdforge.com>, Chris writes:
>> --=_1fa5024c3e762cfee18202d6a7376470
>> Content-Transfer-Encoding: 7bit
>> Content-Type: text/plain; charset=US-ASCII;
>>  format=flowed
>> 
>> OK because I know you're going to ask... :-)
>> 
>> framework 13 laptop (MSI Crosshair 18 HX AI A2XWGKG-012US)[1],[2]
>> CPU: Intel Core Ultra 9 Processor 275HX [3]
>> GPU: NVIDIA GeForce RTX 5070 Laptop GPU with NVIDIA Optimus supported [4]
>> LAN: Realtec RTL???? 2.5Gb
>> WiFi: Intel Wi-Fi 6E AX211(2*2 ax)
>> 
>> I'm currently unable to boot any of 13.5,14.n,15.n or 16 on this laptop.
>> On 13.5 it hangs on sc (syscons(4)?) connect...
> 
> Add this,
> 
> kern.vty=vt
> 
> to your loader.conf.
Really appreciate your taking the time to reply, Cy.
Just tried this. But same results. FWIW, I only saw the syscons message
on 13.5. I've since made a 16-CURRENT from the kernel,base and lib32 archives
that were on ftp.freebsd.org (now missing).
> 
> If you look at the sc(4) man page you will notice,
I  know. :)

> As to how I got my Framework 13 (with AMD chipset) installed, I cloned
> FreeBSD, including all data, from my HP 840, also running in UEFI mode,
> changing fstab and rc.conf to customize a few things before booting the
> Framework laptop. (The HP 840 also uses kern.vty=vt.)
Close to what I did to get 16 on my framework 12. All the right bits weren't
yet available at that time. All good now tho.

This is where I land now (on 16):
Event timer "HPET" frequency 19200000Hz quality 350
Event timer "HPET1" freq...
...
Event timer "HPET7" freq...
atrtc1: <AT realtime clock> on acpi0
atrtc1: Warning: Couldn't map I/O.

Just realized I might find some clues in dmesg(1) on my framework 12.
This is from the same area as above (yep same Warning message on my framework 
12):

atrtc1: <AT realtime clock> on acpi0
atrtc1: Warning: Couldn't map I/O.
atrtc1: registered as a time-of-day clock, resolution 1.000000s
ioapic0: routing intpin 8 (ISA IRQ 8) to lapic 18 vector 49
ioapic0: routing intpin 8 (ISA IRQ 8) to lapic 0 vector 49
Event timer "RTC" frequency 32768 Hz quality 0
attimer0: <AT timer> port 0x40-0x43,0x50-0x53 irq 0 on acpi0

Thoughts?

Thanks again!

> To boot the Framework from install media, break to the loader prompt and
> type in,
> 
> kern.vty=vt
> 
> Then boot. Install FreeBSD. Finally, make sure kern.vty=vt is in the
> installed image's loader.conf before rebooting the image.
> 
> Hope this helps.

--Chris

-- 
There is no such place as the internet