10:11 <la_mettrie> when using a certain u-boot fork i get slightly wrong clock frequencies while booting the OS's main kernel, everything else in the system is the same. how u-boot can have this kind of effect?

11:43 <CounterPillow> different TF-A implementation that controls the clocks through SCMI?

11:54 <la_mettrie> CounterPillow: thanks, have to think about it

11:55 <CounterPillow> Alternatively, TF-A sets up the clock tree differently. Alternatively alternatively, the DT you're using is passed from U-Boot with OPPs for the CPU defined in there.

13:04 <FergusL> Hi there, how can I replicate booting using an extlinux conf file manually? here are the extlinux file content (it works) and my manual command attempts, it fails because of wrong initrd format. the file command reports it as gzipped

13:05 <FergusL> oops, here's the paste link: https://bpa.st/W5FY6

19:57 <xypron> Hello marex, in https://paste.ubuntu.com/p/r9xTCxnSZB/ the USB reported twice (total of 6 USB devices). After USB reset 5 devices are reported and the USB stick can be read without issue. With the NVMe drive on the same PCIe bus I see no problems. PREBOOT already has 'usb start'. If I add 'usb reset' before it my problems disappear. But it seems strange that this should be necessary.

20:19 <xypron> marex: This is the output if in PREBOOT I have 'usb start; usb reset;' https://paste.ubuntu.com/p/GmFP2WxvHs/

21:02 <xypron> If I additionally attach a USB keyboard, that is also counted twice as USB device in usb start and only once in the following usb reset.