openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
Hello, I'm new to modern openbsd (having last used it in a router setting back in 2000) and am trying to get the temperature sensor for raspberry pi 4 working. https://man.openbsd.org/bcmtmon seems to indicate it'd be in 6.8 but in dmesg there's nothing for BCM2711. What do I need to do in order

Re: openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
Hi, On Wed, Jan 13, 2021 at 10:43:57PM +0800, Archimedes Gaviola wrote: Hi, Can you try this in your system? openbsdrpi4b2# sysctl -a | grep temp0 hw.sensors.bcmtmon0.temp0=55.99 degC obsd# sysctl -a | grep temp0 obsd# -- J.

Re: openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
On Wed, Jan 13, 2021 at 03:56:22PM +0100, Mark Kettenis wrote: Date: Wed, 13 Jan 2021 01:06:30 + From: tech-lists Hi, On Wed, Jan 13, 2021 at 10:43:57PM +0800, Archimedes Gaviola wrote: >Hi, > >Can you try this in your system? > >openbsdrpi4b2# sysctl -a | grep temp0 >h

Re: openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
On Wed, Jan 13, 2021 at 03:19:35PM +, Stuart Henderson wrote: Set your uefi firmware to device tree or acpi + device tree mode. ok thanks I'll try that and get back with results -- J.

Re: openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
On Wed, Jan 13, 2021 at 03:19:35PM +, Stuart Henderson wrote: Set your uefi firmware to device tree or acpi + device tree mode. Unfortunately neither of those modes worked. It sits at the part before it's cleared the large raspberry image, after the first two lines of booting output. Noth

Re: openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
On Wed, Jan 13, 2021 at 05:36:02PM +0100, Mark Kettenis wrote: In device tree mode serial output will be the default. You can switch to HDMI (what we call glass console) by typing set tty fb0 at the boot> prompt. You can make this permanent by adding this command to a /etc/boot.conf file.

rpi4 devicetree issues on openbsd68

2021-01-13 Thread tech-lists
Hi, Would a not-working-with-devicetree-on-openbsd problem be something I should be asking developers of the firmware about or asking openbsd about? The reason I'm asking is I'm trying to get the temperature sensor[1] working and it seems I need devicetree to do that. Other than that, ACPI works

Re: openbsd68 and raspberry pi 4 cpu sensor

2021-01-13 Thread tech-lists
On Wed, Jan 13, 2021 at 09:07:45PM +, tech-lists wrote: On Wed, Jan 13, 2021 at 05:36:02PM +0100, Mark Kettenis wrote: Also note that support for the temperature sensor in ACPI mode was added recently, after the 6.8 release. Ah. I didn't fully appreciate this when I first read

Re: rpi4 devicetree issues on openbsd68

2021-01-14 Thread tech-lists
On Thu, Jan 14, 2021 at 12:35:59PM +0800, Archimedes Gaviola wrote: Hi J, Please try https://github.com/pftf/RPi4/releases/tag/v1.18. Haven't tried the latest v1.22 firmware but for sure v1.19 and v1.20 crashed RPI 4B when set to device tree mode. Thanks for the tip, I'll try this. I hope it'

Re: rpi4 devicetree issues on openbsd68

2021-01-14 Thread tech-lists
On Thu, Jan 14, 2021 at 02:26:08PM +0100, Mark Kettenis wrote: Probably won't work as I don't think the older firmware supports the 8GB model. aaah, ok. No matter as having the 8GB is way more important than looking the cpu temps. I'll wait until 6.9. thanks, -- J.

measuring cpu speed on rpi4

2021-12-20 Thread tech-lists
Hello, How would one measure the cpu speed for rpi4 under very recent openbsd70 snapshot? Is it kern.ccpu ? This returns 1948. Was looking for a descriptor of that value too. hw.cpuspeed returns "value is not available" Under freebsd/current it's like this: # sysctl dev.cpu.0 dev.cpu.0.te

Re: measuring cpu speed on rpi4

2021-12-20 Thread tech-lists
On Mon, Dec 20, 2021 at 12:38:50PM -0300, Crystal Kolipe wrote: On Mon, Dec 20, 2021 at 03:33:46PM +, tech-lists wrote: Is it kern.ccpu ? This returns 1948. Was looking for a descriptor of that value too. man 2 sysctl Thanks -- J.