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.  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

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 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

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 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

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 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

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 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

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 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

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 runs fine on RK3399-Q7 or even fine on this board inside 
TheoBroma's Haikou Q7 Dev Kit?

Thanks!
Karel



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.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.