Re: Xorg on Raspberry pi

2018-04-30 Thread Mark Kettenis
> 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.

Re: Xorg on Raspberry pi

2018-04-30 Thread 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 conn

Re: [armv7 fix] Fix build lang/gcc/4.9

2018-04-30 Thread Markus Hennecke
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

2018-04-30 Thread Mark Kettenis
> 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

Re: Xorg on Raspberry pi

2018-04-30 Thread Tinker
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 v

Re: Xorg on Raspberry pi

2018-04-30 Thread Peter Hessler
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 update

Re: cannot run rock64

2018-04-30 Thread jungle Boogie
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 fol

Re: Xorg on Raspberry pi

2018-04-30 Thread Karel Gardas
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

Re: cannot run rock64

2018-04-30 Thread jungle boogie
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.