13:34 <mikek_> To All! I just wanted to wish __everyone__ here HAPPY Holidays! joyeuse fete de noel!!! I know it might be a little early, But Hey! Better Early then Never! Thanks From/DE MikeK

17:55 <mikek_DE1SOC> _florent_ I checked on the XTRX board that I have and it is a R4 version. W/O number 9289-1. Thanks! MikeK

19:12 <mntmn> ok so i need a 1920x1080 framebuffer in litex. i changed the settings and the dts but it freezes when activating the driver (1 line after [ 0.681900] simple-framebuffer 40c00000.framebuffer: framebuffer at 0x40c00000, 0x7e9000 bytes)

19:12 <mntmn> i'm thinking this might be an address overlap problem with the rootfs?

19:13 <mntmn> because that's at: Copying rootfs.cpio to 0x41000000... (23778304 bytes)

19:13 <mntmn> also the dtb is at Copying rv32.dtb to 0x40ef0000... (4352 bytes)

19:14 <mntmn> and the framebuffer goes until 0x413e9000

19:14 <mntmn> not sure if that's why it fails though... any best practise for this? cc _florent_

19:22 <mntmn> maybe just editing boot.json could work?

19:32 <mntmn> hmm no, opensbi does not seem to like me editing the .json

19:50 <mntmn> will try to move the framebuffer instead...

19:58 <mntmn> ok, that worked