Re: Xorg on Raspberry pi
> From: qweqwe.2009...@gmail.com > Date: Mon, 30 Apr 2018 00:47:08 +0300 > > What is current status of support of graphics subsystem on Raspberry > PI? Does Openbsd support Broadcom VideoCore at least vithout video > acceleration? OpenBSD will be able to use a framebuffer set up by the firmware. I believe this works on the Raspberry Pi although it may depend somewhat on the firmware version and/or device tree you use. You'll need to boot the board with the monitor connected and turned on for this to work. There is no acceleration for the framebuffer.
Re: Xorg on Raspberry pi
On April 30, 2018 3:21 PM, Mark Kettenis wrote: > OpenBSD will be able to use a framebuffer set up by the firmware. I > believe this works on the Raspberry Pi although it may depend somewhat > on the firmware version and/or device tree you use. You'll need to > boot the board with the monitor connected and turned on for this to > work. There is no acceleration for the framebuffer. Should this apply for RockChip RK3399 also? What resolution would the display apply?
Re: [armv7 fix] Fix build lang/gcc/4.9
On Mon, 30 Apr 2018, Pascal Stumpf wrote: > Haven't managed to get my version working properly yet. So OK for > Markus' patch. There is already a working version of your patch in the tree: https://marc.info/?l=openbsd-ports&m=152493359410874&w=2
Re: Xorg on Raspberry pi
> Date: Mon, 30 Apr 2018 04:38:08 -0400 > From: Tinker > > On April 30, 2018 3:21 PM, Mark Kettenis wrote: > > OpenBSD will be able to use a framebuffer set up by the firmware. I > > believe this works on the Raspberry Pi although it may depend somewhat > > on the firmware version and/or device tree you use. You'll need to > > boot the board with the monitor connected and turned on for this to > > work. There is no acceleration for the framebuffer. > > Should this apply for RockChip RK3399 also? In principle yes, as long as support for it is enabled in U-Boot. Currently that's only the case for the TheoBroma Systems "puma" RK3399-Q7 board. I think the driver only supports HDMI output right now. > What resolution would the display apply? Not sure if there are any limits; 1920x1280 defenitely works on sunxi boards, so that probably would work for RK3399 as well.
Re: Xorg on Raspberry pi
On April 30, 2018 5:23 PM, Mark Kettenis wrote: > > On April 30, 2018 3:21 PM, Mark Kettenis mark.kette...@xs4all.nl wrote: > > > OpenBSD will be able to use a framebuffer set up by the firmware. I > > > believe this works on the Raspberry Pi although it may depend somewhat > > > on the firmware version and/or device tree you use. You'll need to > > > boot the board with the monitor connected and turned on for this to > > > work. There is no acceleration for the framebuffer. > > > > Should this apply for RockChip RK3399 also? > In principle yes, as long as support for it is enabled in U-Boot. Wow! > Currently that's only the case for the TheoBroma Systems "puma" > RK3399-Q7 board. I think the driver only supports HDMI output right > now. Do you know why, did they extend manufacturer firmware? > > What resolution would the display apply? > Not sure if there are any limits; 1920x1280 defenitely works on sunxi > boards, so that probably would work for RK3399 as well. Sometimes there are more displays, e.g. the Theobroma has both HDMI and DP. The Samsung Chromebook Plus has a built-in display and also HDMI via USB-C [1]. Resolution and port switching logics would be all in the firmware then, right? Do you have any guess if the Chromebook Plus RK3399 would have a firmware framebuffer? Should you be able to run X using the wsfb driver on the firmware framebuffer? [1] https://www.samsung.com/us/support/answer/ANS00061883/
Re: Xorg on Raspberry pi
On 2018 Apr 30 (Mon) at 05:35:14 -0400 (-0400), Tinker wrote: :Should you be able to run X using the wsfb driver on the firmware :framebuffer? I am able to run X on my Pinebook, using the framebuffer. arm(v7,64) is very much a "you'll almost certainly need to try it, and make sure you have updated firmware^W u-boot" platform. -- Real Time, adj.: Here and now, as opposed to fake time, which only occurs there and then.
Re: cannot run rock64
On 28 April 2018 at 13:58, Tuyosi T wrote: > hi all . > > it is easy to run openbsd on raspberry pi 3 . > but > it is hard for me to run openbsd on rock64 using miniroot63.fs . > > > i read http://ftp.openbsd.org/pub/OpenBSD/snapshots/arm64/INSTALL.arm64 . > > there > --- > The following machines are targeted by OpenBSD/arm64: > Rockchip RK3399 > > > Add a board specific DTB file (Allwinner and Rockchip U-Boot images > come with a default DTB): > mount /dev/sdXi /mnt > mkdir /mnt/vendor > cp /usr/local/share/dtb/arm64/vendor/board.dtb /mnt/vendor/ > umount /mnt > > --- > but where can i get board.dtb ? > see this post: https://marc.info/?l=openbsd-misc&m=152363766318429&w=2 You'll need to install dtb and u-boot-aarch64 board.dtb is a variable name, meant to be replaced with your actually not .dtb file. I don't have the Rockchip, but a pine64-lts board and the above steps worked. > > === > regards -- --- inum: 883510009027723 sip: jungleboo...@sip2sip.info
Re: Xorg on Raspberry pi
On Mon, 30 Apr 2018 11:23:53 +0200 (CEST) Mark Kettenis wrote: > In principle yes, as long as support for it is enabled in U-Boot. > Currently that's only the case for the TheoBroma Systems "puma" > RK3399-Q7 board. I think the driver only supports HDMI output right > now. Does it mean OpenBSD runs fine on RK3399-Q7 or even fine on this board inside TheoBroma's Haikou Q7 Dev Kit? Thanks! Karel
Re: cannot run rock64
Thus said Jungle Boogie on Mon, 30 Apr 2018 12:26:48 -0700 On 28 April 2018 at 13:58, Tuyosi T wrote: hi all . it is easy to run openbsd on raspberry pi 3 . but it is hard for me to run openbsd on rock64 using miniroot63.fs . i read http://ftp.openbsd.org/pub/OpenBSD/snapshots/arm64/INSTALL.arm64 . there --- The following machines are targeted by OpenBSD/arm64: Rockchip RK3399 Add a board specific DTB file (Allwinner and Rockchip U-Boot images come with a default DTB): mount /dev/sdXi /mnt mkdir /mnt/vendor cp /usr/local/share/dtb/arm64/vendor/board.dtb /mnt/vendor/ umount /mnt --- but where can i get board.dtb ? see this post: https://marc.info/?l=openbsd-misc&m=152363766318429&w=2 You'll need to install dtb and u-boot-aarch64 I realize I might not have been clear enough... These are openBSD port/packages that you'll install on a amd64 machine where you will write your SD card image from. Obviously you can't install these applications on the rock64 if you can't boot it up.