Re: How to set up dev environment for ESP32 MCUs?

2024-02-14 Thread David Demelier
On Sun, 2024-02-11 at 13:32 +0800, Sadeep Madurange wrote:
> Hello,
> 
> Has anyone set up the ESP-IDF for programming ESP32 MCUs?
> 
> Should I install dependencies like libmpc using pkg_add, and then
> install the ESP-IDF from their GitHub or put things together using
> xtensa-esp32-elf/* ports and use CMake without the ESP-IDF?
> 

Hi,

OpenBSD ports team did a great job building xtensa-/riscv32- toolchains
in the tree. You can use it as-is to build an image file an ESP32 MCU,
but just like that you'll end up with bare metal code and have to write
lot of things to do basic things, but it's doable.

Unfortunately the version of these toolchains in the tree are not
compatible with esp-idf 5.1.2, in fact espressif provide toolchains
that are versioned against specific version of their idf environment.
Example: 5.1.2 requires 12.2.0_20230208, you can try building some code
from 5.1.2 with the toolchain in the ports tree, most of the parts work
but some don't.

Also if you want to use esp-idf, you also have to install various
python packages that are listed in
tools/requirements/requirements.core.txt, some of them are packaged,
some aren't so use pip3 --user if needed. Then setup some environment
variables:

export IDF_PATH=path/to/esp-idf-repo
export IDF_PYTHON_CHECK_CONSTRAINTS=no

And add the desired toolchain in your PATH, e.g. /usr/local/xtensa-
esp32s3-elf/bin.

Finally, you can try to build an example project:

cmake -S examples/get-started/blink -B build -DPYTHON=python3 -
DIDF_TARGET=esp32s3 -DPYTHON_DEPS_CHECKED=On

There are some effort to use LLVM/clang at some point, but it's not
ready nor officially supported AFAIK. Officially, the only way to get a
compatible mixed version of their toolchains is to use their fork of
crosstool-ng and as I can tell it's near to impossible of using it on
OpenBSD, it uses large number of hardcoded GNUisms. 

HTH,

-- 
David

> Appreciate some pointers in the right direction by someone doing
> ESP32
> dev on OpenBSD.
> 



Re: Installing OpenBSD amd64 on UTM on Intel Mac?

2024-01-15 Thread David Demelier


> On Jan 12, 2024, at 21:31, Implausibility  wrote:
> 
> Hi.
> 
> Since there's some uncertainty around the future of VMware Fusion on the Mac, 
> I've decided to switch to UTM (with QEMU under the covers) -- but I can't 
> seem to get OpenBSD .isos (7.3 or 7.4) to boot -- instead, I get dumped into 
> the UEFI shell, which is a dead end.
> 
> I've done a number of searches (on the mailing list and the web in general), 
> and all of the results are for running the ARM64 port on the M-series Macs -- 
> but my target machine has an Intel CPU.

I've installed OpenBSD on my Mac Studio m2 max, you need a few tweaks but it 
works, keep it mind that running a desktop is near to impossible because really 
laggy.

1. Create a new VM
2. Select Skip ISO boot option
3. Add a new drive and import the .img file

Now it should boots fine. IIRC, I've followed these instructions [0].

[0]: https://nomnp.com/plaintext/utmopenbsd

HTH,

-- 
David



Re: ls in color

2023-12-11 Thread David Demelier
On Mon, 2023-12-11 at 08:55 +0100, David Demelier wrote:
> On Fri, 2023-12-08 at 19:45 +0100, Karel Lucas wrote:
> > 
> > 
> > Op 08-12-2023 om 19:42 schreef Theo de Raadt:
> > > Karel Lucas  wrote:
> > > 
> > > > In openBSD V7.4 I would like to see the output of ls in color,
> > > > and
> > > > therefore would like to know how to configure that. The output
> > > > of
> > > > "man
> > > > ls" provides no information about this. Can anyone give me a
> > > > tip?
> > > Black and white are also colours.
> > > 
> > That is not what I had in mind!
> > 
> 
> You can install colorls and alias it to ls.
> 
> https://openports.pl/path/sysutils/colorls
> 

Oops, sorry the mail was stuck in the mailbox and sent very much late
in the party.



Re: ls in color

2023-12-10 Thread David Demelier
On Fri, 2023-12-08 at 19:45 +0100, Karel Lucas wrote:
> 
> 
> Op 08-12-2023 om 19:42 schreef Theo de Raadt:
> > Karel Lucas  wrote:
> > 
> > > In openBSD V7.4 I would like to see the output of ls in color,
> > > and
> > > therefore would like to know how to configure that. The output of
> > > "man
> > > ls" provides no information about this. Can anyone give me a tip?
> > Black and white are also colours.
> > 
> That is not what I had in mind!
> 

You can install colorls and alias it to ls.

https://openports.pl/path/sysutils/colorls

-- 
David



Re: mount invalid argument

2023-09-28 Thread David Demelier
On Thu, 2023-09-28 at 22:41 +0200, Daniele B. wrote:
> 
> Hello,
> 
> wiz$ mount -t ffs /dev/sd1i /mnt/stick
> 
> mount_ffs: /dev/sd1i on /mnt/stick: Invalid argument

Hi,

mount_ffs uses mount(2) which reports errors as errno constants, there
are no one for a specified filesystem type that is not the one on the
device/partition you're trying to mount.

Note that BUGS section seems to match your message precisely your
suggestion.

BUGS
 Some of the error codes need translation to more obvious messages.

-- David



Re: Feedback on redesigned OpenBSD.org

2023-08-11 Thread David Demelier
On Wed, 2023-08-09 at 14:01 -0500, mich...@mlpdesign.com wrote:
> Hi everyone
> 
> WHAT:
> =
> I greatly respect OpenBSD; while I don't have OS tech level expertise
> to contribute - I do have some design skills and wanted to contribute
> to the community and project.
> 
> So I created a new CSS (stylesheet) for OpenBSD.org
> 
> It can be viewed at:
> 
> https://www.openbsd.design/cvs/www/index.html
> 

This is really great and modern. My only question is why other pages
are centered while the front page isn't.

-- 
David



Re: Installing openBSD

2023-08-04 Thread David Demelier
On Thu, 2023-08-03 at 22:48 +0200, Karel Lucas wrote:
> 
> Hi,
> 
> My openBSD installation was successful!

Have fun on OpenBSD.

> I first removed all partitions
> except for the EFI partition, which I left.

Sure, the EFI partition isn't supposed to be formatted/recreated but
shared among systems.


-- 
David



Re: Installing openBSD

2023-08-02 Thread David Demelier
On Tue, 2023-08-01 at 01:00 +0800, ykla wrote:
> Actually, I think it's a bug that OpenBSD cannot create EFI
> partitions manually.

I've installed OpenBSD many times in dualboot with linux (for some
things we can't do right now on OpenBSD such as ESP32 development). And
my take is to install Linux first, actually quite simple to go for a
dual boot afterwards. I go back to linux and configure the bootloader
(i.e. efibootmgr, grub, whatever you like).

macOS and Windows are not really friendly in that area either. I can't
blame an OS to not spend effort for those topics, being able to boot
any OS from EFI is already good enough.

-- 
David



Re: Disabling .core file generation

2023-02-23 Thread David Demelier
On Fri, 2023-02-24 at 05:38 +0100, Daniele Bonini wrote:
> Crystal Kolipe  wrote:
> 
> > > On Mon, Feb 20, 2023 at 05:15:30PM +0100, Daniele Bonini wrote:  
> > > > Is it still possible to disable file .core generation at all?  
> > > > 
> > > > Yes, it is.  
> > > 
> > > ok, thx
> > > 
> > > NB: see /etc/rc.conf.local  
> > 
> > And also /etc/login.conf
> 
> 
> I did set rc.local.conf with the following:
> 
>     savecore_flags=-c /dev/null
> 

This is about kernel panic core dump, not userland core dumps

> And I set login.conf adding the following:
> 
> default:\
>     ..
>     :coredumpsize-max=1M:\
>     :coredumpsize-cur=1M:
> 
> but nothing change after a reboot, I'm always in good company
> of my 1 giga WebKitProcess.core..

Did you call cap_mkdb /etc/login.conf? You also need to login again.

Use ulimit -a to verify that it has been disabled / changed:

$ ulimit -a
-t: cpu time (seconds)  unlimited
-f: file size (blocks)  unlimited
-d: data seg size (kbytes)  1572864
-s: stack size (kbytes) 4096
-c: core file size (blocks) 0
^
-m: resident set size (kbytes)  1997792
-l: locked-in-memory size (kbytes)  87381
-u: processes   256
-n: file descriptors512

-- 
David



Re: pkg_info -Q not finding all entries?

2023-02-01 Thread David Demelier
On Mon, 2023-01-30 at 11:26 +, Stuart Henderson wrote:
> On 2023-01-30, David Demelier  wrote:
> > While searching for sqlite3 I've realized that pkg_info -Q sqlite3
> > finds some php packages but not everything available in the remote
> > repository:
> 
> This is a consequence of the "first repository of the package search
> path" limitation of -Q and how -stable packages are handled.
> It only displays packages for which a -stable update is available.
> 
> Workaround:
> 
> PKG_PATH=http://cdn.openbsd.org/pub/OpenBSD/%v/packages/%a/ pkg_info
> -Q sqlite
> 

Hi,

Thank you for your both answers, I'll keep that around :)

-- 
David



pkg_info -Q not finding all entries?

2023-01-30 Thread David Demelier
Hello,

While searching for sqlite3 I've realized that pkg_info -Q sqlite3
finds some php packages but not everything available in the remote
repository:

# cat /etc/installurl 
https://ftp.fr.openbsd.org/pub/OpenBSD/
# pkg_info -Q sqlite3
debug-php-sqlite3-7.4.32p0
debug-php-sqlite3-7.4.33
debug-php-sqlite3-8.0.24p0
debug-php-sqlite3-8.0.25
debug-php-sqlite3-8.0.26
debug-php-sqlite3-8.0.27
debug-php-sqlite3-8.1.11p0
debug-php-sqlite3-8.1.12
debug-php-sqlite3-8.1.13
debug-php-sqlite3-8.1.14
php-sqlite3-7.4.32p0
php-sqlite3-7.4.33
php-sqlite3-8.0.24p0
php-sqlite3-8.0.25
php-sqlite3-8.0.26
php-sqlite3-8.0.27
php-sqlite3-8.1.11p0
php-sqlite3-8.1.12
php-sqlite3-8.1.13
php-sqlite3-8.1.14
#

It also does not list the installed package of the exact name 'sqlite3'
(which is installed).

# pkg_info sqlite3
Information for inst:sqlite3-3.39.3

Comment:
embedded SQL implementation

Required by:
python-3.9.16

Description:
SQLite is a C library that implements an embeddable SQL database
engine.
Programs that link with the SQLite library can have SQL database access
without running a separate RDBMS process. The distribution comes with a
standalone command-line access program (sqlite3) that can be used to
administer an SQLite database and which serves as an example of how to
use the SQLite library.

Maintainer: The OpenBSD ports mailing-list 

WWW: https://www.sqlite.org/


Do I miss something (or misunderstood the -Q option)? This is 7.2 on
amd64.

Regards,

-- 
David



Re: UNIX manual volume 2 (Supplementary Documents) Re: less prints superfluous characters with --no-init

2022-11-23 Thread David Demelier
On Mon, 2022-11-21 at 19:13 +1100, Reuben mac Saoidhea wrote:
> > [heres if(3p) for some reason.]
> 
> the fact that `man if' goes to a whole man page about a perl thing
> rather than just the sh(1) page, is a bit silly i think.

But you can see that `if` is documented in the 3p category which *is*
for Perl. If there was an if(1) manual page it would have been selected
first, otherwise you could just force man 1  each time.

-- 
David



no azalia nor sdmmc on Intel NUC

2022-10-03 Thread David Demelier
Hi,

I have a Intel NUC (NUC7CJYHN) which I installed OpenBSD 7.1 on it.
Installation went fine and most of the things work out of the box.

There is a SD card slot on the side that does not seem effective, the
only message I get is:

sdmmc0: can't enable card

There is no kernel activity if I plug a SD card at runtime nor booting
with an already entered card either.

The audio device seems detected but there is no way to get any sound
out of the internal speaker nor the audio jack. I guess this is due to
the "no supported codecs" as shown here:

azalia0 at pci0 dev 14 function 0 "Intel Gemini Lake HD Audio" rev
0x06: msi
azalia0: no supported codecs

Here's the whole dmesg (see below for a AZALIA_DEBUG kernel enabled):

OpenBSD 7.1 (GENERIC.MP) #3: Sun May 15 10:27:01 MDT 2022
r...@syspatch-71-amd64.openbsd.org:/usr/src/sys/arch/amd64/compile/GENER
IC.MP
real mem = 8122888192 (7746MB)
avail mem = 7859404800 (7495MB)
random: good seed from bootblocks
mpath0 at root
scsibus0 at mpath0: 256 targets
mainbus0 at root
bios0 at mainbus0: SMBIOS rev. 3.2 @ 0x69f6a000 (49 entries)
bios0: vendor Intel Corp. version "JYGLKCPX.86A.0065.2021.0722.1137"
date 07/22/2021
bios0: Intel(R) Client Systems NUC7CJYHN
acpi0 at bios0: ACPI 6.1
acpi0: sleep states S0 S3 S4 S5
acpi0: tables DSDT FACP FPDT FIDT MCFG DBG2 DBGP HPET LPIT APIC NPKT
SSDT SSDT SSDT SSDT SSDT SSDT SSDT SSDT BGRT TPM2 DMAR WDAT WSMT
acpi0: wakeup devices SIO1(S3) HDAS(S3) XHC_(S4) XDCI(S4) RP01(S4)
PXSX(S4) RP02(S4) PXSX(S4) RP03(S4) PXSX(S4) RP04(S4) PXSX(S4) RP05(S4)
PXSX(S4) RP06(S4) PXSX(S4) [...]
acpitimer0 at acpi0: 3579545 Hz, 32 bits
acpimcfg0 at acpi0
acpimcfg0: addr 0xe000, bus 0-255
acpihpet0 at acpi0: 1920 Hz
acpimadt0 at acpi0 addr 0xfee0: PC-AT compat
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel(R) Celeron(R) J4025 CPU @ 2.00GHz, 1994.48 MHz, 06-7a-08
cpu0:
FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36
,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAI
T,DS-
CPL,VMX,EST,TM2,SSSE3,SDBG,CX16,xTPR,PDCM,SSE4.1,SSE4.2,x2APIC,MOVBE,PO
PCNT,DEADLINE,AES,XSAVE,RDRAND,NXE,PAGE1GB,RDTSCP,LONG,LAHF,3DNOWP,PERF
,ITSC,FSGSBASE,TSC_ADJUST,SGX,SMEP,ERMS,MPX,RDSEED,SMAP,CLFLUSHOPT,PT,S
HA,UMIP,MD_CLEAR,IBRS,IBPB,STIBP,SSBD,SENSOR,ARAT,XSAVEOPT,XSAVEC,XGETB
V1,XSAVES
cpu0: 4MB 64b/line 16-way L2 cache
cpu0: smt 0, core 0, package 0
mtrr: Pentium Pro MTRR support, 10 var ranges, 88 fixed ranges
cpu0: apic clock running at 19MHz
cpu0: mwait min=64, max=64, C-substates=0.2.0.2.4.2.1.1, IBE
cpu1 at mainbus0: apid 2 (application processor)
cpu1: Intel(R) Celeron(R) J4025 CPU @ 2.00GHz, 1994.49 MHz, 06-7a-08
cpu1:
FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36
,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,PCLMUL,DTES64,MWAI
T,DS-
CPL,VMX,EST,TM2,SSSE3,SDBG,CX16,xTPR,PDCM,SSE4.1,SSE4.2,x2APIC,MOVBE,PO
PCNT,DEADLINE,AES,XSAVE,RDRAND,NXE,PAGE1GB,RDTSCP,LONG,LAHF,3DNOWP,PERF
,ITSC,FSGSBASE,TSC_ADJUST,SGX,SMEP,ERMS,MPX,RDSEED,SMAP,CLFLUSHOPT,PT,S
HA,UMIP,MD_CLEAR,IBRS,IBPB,STIBP,SSBD,SENSOR,ARAT,XSAVEOPT,XSAVEC,XGETB
V1,XSAVES
cpu1: 4MB 64b/line 16-way L2 cache
cpu1: smt 0, core 1, package 0
ioapic0 at mainbus0: apid 1 pa 0xfec0, version 20, 120 pins
acpiprt0 at acpi0: bus 0 (PCI0)
acpiprt1 at acpi0: bus -1 (RP01)
acpiprt2 at acpi0: bus -1 (RP02)
acpiprt3 at acpi0: bus 1 (RP03)
acpiprt4 at acpi0: bus -1 (RP04)
acpiprt5 at acpi0: bus 2 (RP05)
acpiprt6 at acpi0: bus -1 (RP06)
acpiec0 at acpi0
acpipci0 at acpi0 PCI0: 0x 0x0011 0x0001
"ALPS0001" at acpi0 not configured
"WCOM508E" at acpi0 not configured
acpicmos0 at acpi0
acpibtn0 at acpi0: PWRB
acpibtn1 at acpi0: SLPB
glkgpio0 at acpi0 GPO1 uid 1 addr 0xd0c4/0xcef irq 14, 80 pins
glkgpio1 at acpi0 GPO0 uid 2 addr 0xd0c5/0xaff irq 14, 80 pins
glkgpio2 at acpi0 GPO2 uid 3 addr 0xd0c9/0x7bf irq 15, 20 pins
glkgpio3 at acpi0 GPO3 uid 4 addr 0xd0c8/0x82f irq 14, 35 pins
"INT0E0C" at acpi0 not configured
"INT33A1" at acpi0 not configured
tpm0 at acpi0 TPM_ 2.0 (CRB) addr 0xfed4/0x5000, device 0x
rev 0x0
"PNP0C0B" at acpi0 not configured
"PNP0C14" at acpi0 not configured
acpipwrres0 at acpi0: DRST
acpipwrres1 at acpi0: DRST
acpipwrres2 at acpi0: DRST
acpipwrres3 at acpi0: DRST
acpipwrres4 at acpi0: DRST
acpipwrres5 at acpi0: DRST
acpipwrres6 at acpi0: WRST
acpicpu0 at acpi0: C3(10@150 mwait.1@0x60), C2(10@50 mwait.1@0x21),
C1(1000@1 mwait.1@0x1), PSS
acpicpu1 at acpi0: C3(10@150 mwait.1@0x60), C2(10@50 mwait.1@0x21),
C1(1000@1 mwait.1@0x1), PSS
acpipwrres7 at acpi0: FN00, resource for FAN0
acpitz0 at acpi0: critical temperature is 95 degC
acpivideo0 at acpi0: GFX0
acpivout0 at acpivideo0: DD1F
cpu0: Enhanced SpeedStep 1994 MHz: speeds: 2001, 2000, 1900, 1800,
1700, 1600, 1500, 1400, 1300, 1200, 1100, 1000, 900, 800 MHz
pci0 at mainbus0 bus 0
pchb0 at pci0 dev 0 function 0 "Intel Gemini Lake Host" rev 0x06
inteldrm0 at pci0 dev 2 function 0 "Intel UHD Graphics 600" rev 0x06
drm0 at in

Re: Convert a Linux VPS to OpenBSD

2022-06-23 Thread David Demelier
On Mon, 2022-06-20 at 16:47 +0100, Étienne wrote:
> Hello there,
> 
> This is a bit of a long shot, but I'm trying my luck: There used to
> be a 
> community thread on Scaleway's documentation website that explained
> how 
> to convert a Linux instance to an OpenBSD instance, because no
> OpenBSD 
> ISO image was available in their console. It seems that this doc 
> disappeared as their documentation section has changed format, and I 
> can't find it on archive.org either. I would like to try and apply
> the 
> same process at another VPS provider. Does anyone remember or know
> how 
> this was done, and would they be kind enough to summarise it here,
> please?
> 
> Thanks!

I've successfully installed OpenBSD on a OVH VPS (which has kvm) using
Linux's grub facility to boot an OpenBSD kernel.

I've simply dropped the bsd.rd file into /boot and added the
corresponding menu entry like (you can edit /boot/grub/grub.cfg
directly):

menuentry OpenBSD {
  kopenbsd bsd.rd
}

If the machine is using UEFI (but most VPS don't) you can even use
efibootmgr instead.

I think I've done it using
https://themimitoof.fr/installer-openbsd-7-0-sur-gandicloud-vps/

It's in french but only the grub entry is really important. If you
don't have a KVM you will need to provide an autoinstall script.

HTH

-- 
David



Re: booting OpenBSD on Raspberry pi4 without using sdcard for UEFI

2022-05-20 Thread David Demelier


> On 20 May 2022, at 18:27, Sandeep Gupta  wrote:
> 
> Hello,
> 
> This post here (
> http://matecha.net/posts/openbsd-on-pi-4-with-full-disk-encryption/) claims
> its possible to
> boot OpenBSD directly from USB without the need for UEFI on sdcard.
> I tried today but couldn't get it to work. I got a blank screen during the
> installation process. What I did was
> 1) updated the eeprom (bootloader)
> 2) set boot to usb
> 3) wrote install71.img onto ssd.
> 
> The boot process did start but I got a blank screen. I was wondering if
> anyone has tried and has had success with booting
> OpenBSD directly from USB.
> 
> Thanks
> sandeep
> 

Hi,

It’s possible to boot from USB only, it’s what I do with a special USB to NVMe 
adapter in an argon case but in the process I do, you still need a SD card and 
a TTL cable prior to boot only from USB.

1. Burn install71.img or miniroot71.img to the SD card
2. Plug the appropriate TX/RX/GND pins on the board and open a serial line 
(using cu/picocom)
3. Insert the SD card and power on the Pi
4. Install as usual to the correct USB disk
5. Reboot.

The install script uses labels in /etc/fstab which means it will just work out 
of the box.

Note: use an ethernet wire as well if you choose the miniroot, there are no 
firmware for bwfm in 7.1 IIRC.

Regarding your question, you get a blank screen because the installer in ARM 
uses serial console by default.

HTH

-- 
David



Re: Setting up vmd with veb0/vport0

2022-05-12 Thread David Demelier
On Thu, 2022-05-12 at 06:09 +, Stuart Henderson wrote:
> > vlan0: flags=8002 mtu 1500
> > lladdr e0:d4:64:3c:31:9c
> > index 6 priority 0 llprio 3
> > encap: vnetid none parent iwx0 txprio packet rxprio outer
> > groups: vlan
> > media: IEEE802.11 autoselect (VHT-MCS9 mode 11ac)
> > status: active
> 
> I think this isn't doing anything, right?

I'm pretty sure I've never written /etc/hostname.vlan0 by hand, not
sure what generated this for me. Deleted it.

> > vport0: flags=8902 mtu 1500
> > lladdr fe:e1:ba:d0:32:b5
> > index 7 priority 0 llprio 3
> > groups: vport
> > inet 10.0.0.1 netmask 0xff00 broadcast 10.0.0.255
> 
> This interface is not "up", iirc you need to do that explicitly
> for vport.
> 

That was as simple as those missing two letters, working fine now.
Thanks!

-- 
David



Setting up vmd with veb0/vport0

2022-05-11 Thread David Demelier
Hello,

I'm trying to setup vms using the wonderful vmd and private addresses
on 10.0.0.0 range. Following the various entries in the FAQ (faq16) and
the examples using bridge/vether I just wanted to adapt to using
veb/vport instead since it's designed as a newer and more performant
replacement.

I've also seen someone who managed to get it working

https://misc.openbsd.narkive.com/nAdmGfbQ/i-can-t-get-veb-vport-to-work-with-vmd

So first, I setup the interfaces:

# cat /etc/hostname.veb0
add vport0
up
# cat /etc/hostname.vport0
inet 10.0.0.1 255.255.255.0

I enable NAT as specified in the FAQ and numerous examples.

# cat /etc/pf.conf
set skip on lo0

match in all scrub (no-df random-id max-mss 1440)
match out on egress inet from vport0:network to any nat-to (egress)

block log
pass out quick inet
pass in on vport0 inet

Then, setting up vmd to boot an install71.iso with the appropriate tap
interfaces:

# cat /etc/vm.conf
switch "switch0" {
interface veb0
}

vm "vm1" {
disk "/vm/vm1.qcow2"
boot device cdrom
cdrom "/vm/install71.iso"

interface tap {
switch "switch0"
}
}

Finally, once the install is boot, I've tried adding 10.0.0.10 netmask
255.255.255.0 and 10.0.0.1 as gateway with no luck. The nameserver is
copied from /etc/resolv.conf but I can't get any packet to the
internet.

(vm) #
ping 8.8.8.8 
PING 8.8.8.8 (8.8.8.8): 56 data bytes
ping: sendmsg: Can't assign requested address
ping: wrote 8.8.8.8 64 chars, ret=-1
(vm) #
# ftp http://5.135.187.121/index.html 
Trying 5.135.187.121...
ftp: connect: Can't assign requested address

I'm sure I miss almost nothing but I can't find what.

Here's the host full ifconfig

lo0: flags=8049 mtu 32768
index 4 priority 0 llprio 3
groups: lo
inet6 ::1 prefixlen 128
inet6 fe80::1%lo0 prefixlen 64 scopeid 0x4
inet 127.0.0.1 netmask 0xff00
iwx0: flags=808843
mtu 1500
lladdr e0:d4:64:3c:31:9c
index 1 priority 4 llprio 3
groups: wlan egress
media: IEEE802.11 autoselect (VHT-MCS9 mode 11ac)
status: active
ieee80211: join "abc" chan 149 bssid aa:37:d8:93:98:57 82%
wpakey wpaprotos wpa2 wpaakms psk wpaciphers ccmp wpagroupcipher ccmp
inet 172.20.10.3 netmask 0xfff0 broadcast 172.20.10.15
em0: flags=808843 mtu
1500
lladdr 8c:8c:aa:01:7d:1f
index 2 priority 0 llprio 3
media: Ethernet autoselect (none)
status: no carrier
enc0: flags=0<>
index 3 priority 0 llprio 3
groups: enc
status: active
veb0: flags=8843
description: switch1-switch0
index 5 llprio 3
groups: veb
vport0 flags=3
port 7 ifpriority 0 ifcost 0
tap0 flags=3
port 8 ifpriority 0 ifcost 0
vlan0: flags=8002 mtu 1500
lladdr e0:d4:64:3c:31:9c
index 6 priority 0 llprio 3
encap: vnetid none parent iwx0 txprio packet rxprio outer
groups: vlan
media: IEEE802.11 autoselect (VHT-MCS9 mode 11ac)
status: active
vport0: flags=8902 mtu 1500
lladdr fe:e1:ba:d0:32:b5
index 7 priority 0 llprio 3
groups: vport
inet 10.0.0.1 netmask 0xff00 broadcast 10.0.0.255
tap0: flags=8943 mtu
1500
lladdr fe:e1:ba:d1:f2:03
description: vm1-if0-vm1
index 8 priority 0 llprio 3
groups: tap
status: active

Any help is appreciated.

Regards,

-- 
David



Two minor issues with GNOME (autologin/night light)

2022-05-05 Thread David Demelier
Hi there,

Enjoying GNOME 41 on 7.1 (and on an other machine GNOME 42 on -
current), I have encountered two minor issues:

1. The night light seems to have no effect. I don't think it's due to
the use of X.Org rather than wayland, on my Linux machine I also use
GNOME on Xorg without no issue. Don't really know what's happening
here. I've tested on several machines with an intel graphics card, it
never works. As a workaround I use the good old redshift for now.

2. The autologin feature does not seem to work. Even though enabled in
the GNOME users settings and it has edited the /etc/gdm/custom.conf the
file to add:

AutomaticLoginEnable=True
AutomaticLogin=markand

It still goes to the GDM login screen on boot.

Any help is appreciated.

Regards,

-- 
David



Re: bwfm0 no networking when combined with trunk (Raspberry Pi 4)

2022-05-02 Thread David Demelier
On Sat, 2022-04-30 at 08:42 +, Stuart Henderson wrote:
> trunk changes the MAC address to that of the first port, and there's
> a fair chance that changing MAC might not work with bwfm.
> 
> You could try "lladdr (mac address of bwfm interface)" in
> hostname.trunk0
> and see if that helps.

Hi,

Thanks, that was the issue. It now works correctly :)

Regards,

-- 
David



bwfm0 no networking when combined with trunk (Raspberry Pi 4)

2022-04-29 Thread David Demelier
Hello,
I have setup a trunk combination on my Pi 4 to aggregate the ethernet
port (bse0) with the wireless port (bwfm0) using the examples in the
documentation:

$ cat /etc/hostname.bse0
up

$ cat /etc/hostname.bwfm0
join "MyAp" wpakey "blablabla"
up

$ cat /etc/hostname.trunk0
trunkproto failover trunkport bse0
trunkport bwfm0
inet autoconf

And with the ethernet cable plugged in, I have networking through it:

$ ifconfig
lo0: flags=8049 mtu 32768
index 3 priority 0 llprio 3
groups: lo
inet6 ::1 prefixlen 128
inet6 fe80::1%lo0 prefixlen 64 scopeid 0x3
inet 127.0.0.1 netmask 0xff00
bse0: flags=8943 mtu
1500
lladdr e4:5f:01:0e:a8:7f
index 1 priority 0 llprio 3
trunk: trunkdev trunk0
media: Ethernet autoselect (1000baseT full-duplex)
status: active
enc0: flags=0<>
index 2 priority 0 llprio 3
groups: enc
status: active
bwfm0:
flags=8b43 mtu
1500
lladdr e4:5f:01:0e:a8:7f
index 4 priority 4 llprio 3
trunk: trunkdev trunk0
groups: wlan
media: IEEE802.11 autoselect (VHT-MCS0 mode 11ac)
status: active
ieee80211: join MyAp chan 36 bssid 30:93:bc:e3:e8:f4 -46dBm
wpakey wpaprotos wpa2 wpaakms psk wpaciphers ccmp wpagroupcipher ccmp
trunk0: flags=808843
mtu 1500
lladdr e4:5f:01:0e:a8:7f
index 5 priority 0 llprio 3
trunk: trunkproto failover
bwfm0 port 
bse0 port master,active
groups: trunk egress
media: Ethernet autoselect
status: active
inet 192.168.1.16 netmask 0xff00 broadcast 192.168.1.255
pflog0: flags=141 mtu 33136
index 6 priority 0 llprio 3
groups: pflog

But as soon as I remove the ethernet cable, I get no networking with
the wireless access point

$ ifconfig
lo0: flags=8049 mtu 32768
index 3 priority 0 llprio 3
groups: lo
inet6 ::1 prefixlen 128
inet6 fe80::1%lo0 prefixlen 64 scopeid 0x3
inet 127.0.0.1 netmask 0xff00
bse0: flags=8943 mtu
1500
lladdr e4:5f:01:0e:a8:7f
index 1 priority 0 llprio 3
trunk: trunkdev trunk0
media: Ethernet autoselect (none)
status: no carrier
enc0: flags=0<>
index 2 priority 0 llprio 3
groups: enc
status: active
bwfm0:
flags=8b43 mtu
1500
lladdr e4:5f:01:0e:a8:7f
index 4 priority 4 llprio 3
trunk: trunkdev trunk0
groups: wlan
media: IEEE802.11 autoselect (VHT-MCS0 mode 11ac)
status: active
ieee80211: join MyAp chan 36 bssid 30:93:bc:e3:e8:f4 -45dBm
wpakey wpaprotos wpa2 wpaakms psk wpaciphers ccmp wpagroupcipher ccmp
trunk0: flags=808843
mtu 1500
lladdr e4:5f:01:0e:a8:7f
index 5 priority 0 llprio 3
trunk: trunkproto failover
bwfm0 port active
bse0 port master
groups: trunk egress
media: Ethernet autoselect
status: active
inet 192.168.1.16 netmask 0xff00 broadcast 192.168.1.255
pflog0: flags=141 mtu 33136
index 6 priority 0 llprio 3
groups: pflog

Do I miss something?

Nothing particular in dmesg, it's running 7.1 aarch64.

I’ve tested the bwfm0 interface without being put in trunk, it works
fine.

-- 
David



Re: Unusable resolution on a widescreen monitor during install

2022-04-28 Thread David Demelier


> On 28 Apr 2022, at 04:06, Mike Larkin  wrote:
> 
> On Wed, Apr 27, 2022 at 05:07:14PM -0400, Nick Holland wrote:
>> On 4/27/22 9:15 AM, David Demelier wrote:
>>> Hello,
>>> 
>>> I have a lenovo thinkcentre machine connected to 24” LG screen (with
>>> 4k resolution), the installer boots fine using UEFI but it looks like
>>> efifb takes a strange “squared” resolution where bottom part of the
>>> console is below the screen so I’m unable to see what I type. I’ve
>>> taken a picture of what’s seen:
>>> 
>>> http://markand.fr/static/openbsd-resolution.jpeg
>>> 
>>> I have tried disabling inteldrm using UKC as I’ve seen on some
>>> websites with somewhat similar problem but with no effect. I’ve also
>>> noticed there is no wscons(cfg|ctl) utilities in the installer so I
>>> was unable to blindly type commands to alter the resolution either.
>>> Unfortunately, changing boot video mode using `machine video …` does
>>> not change kernel resolution either.
>>> 
>>> My only solution for now would be to boot not using UEFI but that’s
>>> something I’d like to avoid if possible.
>>> 
>>> Do you have any idea why an incorrect resolution is picked up by the
>>> kernel? I’m using install71.img on USB stick FYI.
>> 
> 
> Does:
> 
> boot> machine gop (then machine gop followed by some mode number) work?

Hello,

I’ve been finally able to install OpenBSD accidentally, I powered on the 
machine without the screen on and for some reason the lenovo used a very low 
resolution like 640x480. That’s exactly what machine gop shown (and the only 
available resolution).

Maybe the machine did use a degraded resolution due to absence of video signal? 
dunno. But now I can enjoy OpenBSD on this machine. It works perfectly.

-- 
David



Unusable resolution on a widescreen monitor during install

2022-04-27 Thread David Demelier
Hello,

I have a lenovo thinkcentre machine connected to 24” LG screen (with 4k 
resolution), the installer boots fine using UEFI but it looks like efifb takes 
a strange “squared” resolution where bottom part of the console is below the 
screen so I’m unable to see what I type. I’ve taken a picture of what’s seen:

http://markand.fr/static/openbsd-resolution.jpeg

I have tried disabling inteldrm using UKC as I’ve seen on some websites with 
somewhat similar problem but with no effect. I’ve also noticed there is no 
wscons(cfg|ctl) utilities in the installer so I was unable to blindly type 
commands to alter the resolution either. Unfortunately, changing boot video 
mode using `machine video …` does not change kernel resolution either.

My only solution for now would be to boot not using UEFI but that’s something 
I’d like to avoid if possible.

Do you have any idea why an incorrect resolution is picked up by the kernel? 
I’m using install71.img on USB stick FYI.

-- 
David



Re: how to mount phone?

2020-07-15 Thread David Demelier

Le 13/07/2020 à 23:39, Justin Muir a écrit :

Hi,

Just wishing to mount my phone to access photos.


Hello,

There is Airdroid application on Android phones that could be 
interesting. It's an application that acts as a server and that you 
could access from any computer/any os. You simply need to open a web 
browser and access its IP. Then you have full access to photos, music, 
contacts, messages, etc.


HTH,

--
David



Re: Sound is good on OpenBSD

2020-04-28 Thread David Demelier

Le 28/04/2020 à 14:01, Yury Grebenkin a écrit :

OpenBSD gives a better sound experience on my machine than several
Linux distributions I have used and FreeBSD. Just want to say thank
you to all the people involved and state the fact that OpenBSD does
make a difference.


The audio stack is definitely better as we have the clean and simple 
sndio interface while Linux has to deal with ALSA, Jack, PulseAudio and 
maybe pipewire at some point.


That said, I personally have stuttering when playing music on OpenBSD 
and doing some CPU “intensive” tasks like many firefox tabs opened. I'd 
be glad to see if it works better for you and if you tweak the system to 
avoid that.


--
David



Re: GNU+Linux corporate takeover, was: Wine for OpenBSD?

2020-04-14 Thread David Demelier

Le 14/04/2020 à 17:10, Oddmund G. a écrit :

Linux is doomed. Closer 'integration' of systemd, pulseaudio, wayland


Wayland isn't that bad. It solves many things by reducing the display 
complexity and is much faster than X.Org. The real problem is by being 
simple; many compositors (~= window managers) started to implement their 
own drawing API leading in many effort duplication.


with other system components will make it very difficult, if not 
impossible to continue resisting and keeping up alternative GNU+Linux 
development in the future. This was one of the reasons why I switched to 
OpenBSD a couple of years ago.


I'm also loving OpenBSD for its simplicity but unable to use it as a 
daily driver because of hardware support so I have a dualboot with 
Alpine Linux which I could recommend for people who love simplicity and 
elegance but can't stick with OpenBSD yet. Note that not all 
distributions are based on GNU and so for this naming GNU+Linux or 
GNU/Linux should not be used anymore.


Now I am retired and it is absolutely perfect! Thank you Theo & all the 
other guys & girls keeping it alive and kickin'!


Could not agree more. I wish I could contribute to kernel code but I'm 
far from a hardware developer :).


--
David



Re: Record with a device, playback with another with sndiod

2020-03-17 Thread David Demelier
On Mon, Mar 16, 2020 at 10:09:50PM +0100, David Demelier wrote:
> It has only one jack yes, but the logo on top of the jack is a headset
> with a microphone but I don't even know if combined output/microphone
> jacks are supported? I never experienced them at all, I don't have a
> headset that has microphone with a single jack to test anyway.

I finally realized that I actually have a combined headset (one
shipped with my phone) and yes the dock can record/playback at the same
time in this unique jack, awesome!

Case closed :).

Regards,

-- 
David



Re: Record with a device, playback with another with sndiod

2020-03-16 Thread David Demelier
On Mon, Mar 16, 2020 at 02:41:20PM +0100, Alexandre Ratchov wrote:

Hello,

> Sorry, it's not possible to combine two devices into a single one with
> sndiod.
> 
> FWIW, this is because both devices don't use the same clock source, if
> there were combined, audio could be unstable. Properly synchronizing
> them is difficult and given the price and availability of full-duplex
> hardware it is not worth the risk of making audio unreliable.

Thanks for the explanation, since I've not found many information about
that issue I was expecting that it was not possible.

> I guess you're asking because the USB dock has no microphone, right?

It has only one jack yes, but the logo on top of the jack is a headset
with a microphone but I don't even know if combined output/microphone
jacks are supported? I never experienced them at all, I don't have a
headset that has microphone with a single jack to test anyway.

Regards,

-- 
David



Record with a device, playback with another with sndiod

2020-03-14 Thread David Demelier
Hello,

I'm trying to setup sndiod to record input using my laptop's builtin
microphone but using an USB sound card for output.

The microphone does work correctly because I was able to record some
test using aucat

$ aucat -o test.wav
$ aucat -i test.wav (worked)

To my understanding the option -m can be used to control either both
playback and recording so I've tried to setup my rsnd/0 (laptop) to only
use recording and my external dock rsnd/1 to only use playback.

$ sndiod -f rsnd/1 -s default -m play -F rsnd/1 -f rsnd/0 -m rec

The playback works correctly on the USB dock but plain `aucat -o` won't
record from the laptop's microphone. However, `aucat -f rsnd/0 -o
test.wav` works but since Firefox won't let me choose a specific input
device I'm stuck...

Do I miss something or it's simply not possible to create this "virtual"
unique device that consist of input from a card and output to another
one?

Regards,

-- 
David



Re: trunk(4) driver with optional interface?

2020-03-13 Thread David Demelier

Le 13/03/2020 à 13:23, Raf Czlonka a écrit :> Hi David,


hotplugd(8) might help here.


Thanks, I've heard of it in the past. Can't understand how I did forget 
it. That will help me a lot!


Regards,

--
David




trunk(4) driver with optional interface?

2020-03-13 Thread David Demelier

Hello,

I'm using trunk(4) pseudo device to aggregate my wireless iwm(4) and my
dock ethernet interface ure(4) together.

Since my laptop is not always connected to my dock, when booting I get a
trunk error if the interface is not available:

ifconfig: SIOCTRUNKPORT: Invalid argument

Hopefully, this is not a big deal as my iwm(4) is still available and
used nevertheless.

Do you have any other recommandations or advises in my case? Because if
I plug my laptop into the dock after the creation of the trunk interface
I must use ifconfig by hand to attach it. If there is a way to detect
the attachment of a new interface, I could create an automatic script
too.

Content of my /etc/hostname.trunk0, /etc/hostname.iwm0 and
/etc/hostname.ure0:

# /etc/hostname.trunk0
trunkproto failover trunkport ure0
trunkport iwm0
dhcp

# /etc/hostname.iwm0
join myssid wpakey p
up

# /etc/hostname.ure0
up

I'm using OpenBSD-current at the moment.

Regards,

--
David



Re: alacritty build

2020-03-12 Thread David Demelier

Le 11/03/2020 à 15:51, Wayn0 a écrit :

part of the staff group, datasizr-cur=4096M max infinity
during build on my dual core i7 4xxx it took 17m to build RAM usage really
going over 800mb

35mb binary

not sure it's worth all of that


This is mostly because rust statically link to almost everything. Once 
stripped it's a bit “better”.


--
David



Re: man to render pure text? (or a pipe in vi macros ?)

2020-03-03 Thread David Demelier

Le 02/03/2020 à 17:59, Marc Chantreux a écrit :

i felt dumb reading this as i gave a try to the mandoc man. but i just
double checked:

 man mandoc|col -b|grep -w col


Hmmm, here I have it though:

https://man.openbsd.org/mandoc

In the “ASCII Output” paragraph.

--
David



Re: man to render pure text? (or a pipe in vi macros ?)

2020-03-02 Thread David Demelier
On Mon, Mar 02, 2020 at 11:49:31AM +0100, Marc Chantreux wrote:
> hello,
> 
> coming from linux, i'm used to read manpages
> in a vi buffer so i can do much more than
> reading the content. i basically use
> 
> :r !man ls
> or
> !!sh (when the line content is "man ls")
> 
> under openbsd, it seems man doesn't if stdout
> is a tty. i digged the man manual a little bit
> without finding a solution so i worked the
> things around:

Try the mandoc manual page, man is just a front-end to it. Both
man/mandoc support -T option and you can specify ascii/utf8 to get the
formatted page but it still adds all escape sequences. The documentation
says to pipe the output to col -b to suppress them (I think what you did
with the alternative fmt command).

There is an interesting markdown output that seems to work a little bit
better in your case.

Example: :r!man -T markdown ls

But it still not raw.

> :r !man ls|fmt

To be honest, I think the easiest in that case is to simply add an
alias/helper in your shell like viman:

#!/bin/sh
man "$@" | col -b

In vim: :r!viman ls

Tested, it worked like a charm.

HTH,

-- 
David



Re: Good job done for OpenBSD on laptops

2017-01-18 Thread David Demelier

On 01/18/2017 12:32 PM, Marcus MERIGHI wrote:

Hello,

demelier.da...@gmail.com (David Demelier), 2017.01.18 (Wed) 06:56 (CET):

The only thing I could not get to work actually is the backlight
adjustment. Function keys have no effect, even in GNOME. I also check
wsconsctl display.progress but this variable does not exist. The dmesg

 
Do you mean display.brightness?
xbacklight(1) is there to try, too.


Yes, sorry. Typo when writing the mail but when I tried on command line 
it's brightness that I've tried. xbacklight has no effect with both -dec 
/ -inc options.


Regards,


--
David Demelier



Good job done for OpenBSD on laptops

2017-01-17 Thread David Demelier
Hello all,

This is my first mail to this list,

I have a very old HP Probook 4510s slowly dying. I have previously
installed FreeBSD on it but got disappointed after several regression
YoY and after upgrade like: no usable touchpad anymore, no more
ethernet, new VT very buggy. As lots of friends kept telling me to try
OpenBSD, I did.

I installed 6.0 on it with no problems, I also installed GNOME and
enabled it as explained in its pkg-readme.

And then, everything just works. I mean:

- suspend to ram (function key not working though),
- hibernation (I wonder if this will ever come in FreeBSD),
- touchpad + two finger scroll by default,
- jack headset over speakers (FreeBSD need a tweak)
- radeondrm and such

The only thing I could not get to work actually is the backlight
adjustment. Function keys have no effect, even in GNOME. I also check
wsconsctl display.progress but this variable does not exist. The dmesg
contains acpivideo but any help is appreciated though :-)

I'm very glad to be able to use OpenBSD on this laptop, and again,
congratulations for your work for making *BSD desktops real.

The dmesg if interested:

OpenBSD 6.0 (GENERIC.MP) #2319: Tue Jul 26 13:00:43 MDT 2016
dera...@amd64.openbsd.org:/usr/src/sys/arch/amd64/compile/GENERIC.MP
RTC BIOS diagnostic error bb
real mem = 3198681088 (3050MB)
avail mem = 3097329664 (2953MB)
mpath0 at root
scsibus0 at mpath0: 256 targets
mainbus0 at root
bios0 at mainbus0: SMBIOS rev. 2.4 @ 0xbfcc3000 (21 entries)
bios0: vendor Hewlett-Packard version "68PZI Ver. F.20" date 12/09/2011
bios0: Hewlett-Packard HP ProBook 4510s
acpi0 at bios0: rev 2
acpi0: sleep states S0 S3 S4 S5
acpi0: tables DSDT FACP HPET APIC MCFG ASF! SSDT SLIC DMAR SSDT SSDT SSDT
acpi0: wakeup devices LANC(S0) HDEF(S4) RP02(S5) WNIC(S5) RP03(S5)
ECF0(S5) RP05(S5) ECF0(S5) RP06(S0) NIC_(S0) USB1(S0) USB2(S0)
USB3(S0) USB4(S0) USB5(S0) USB6(S0) [...]
acpitimer0 at acpi0: 3579545 Hz, 24 bits
acpihpet0 at acpi0: 14318179 Hz
acpimadt0 at acpi0 addr 0xfee0: PC-AT compat
cpu0 at mainbus0: apid 0 (boot processor)
cpu0: Intel(R) Core(TM)2 Duo CPU T6570 @ 2.10GHz, 2095.06 MHz
cpu0: 
FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,DTES64,MWAIT,DS-CPL,VMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,XSAVE,LONG,LAHF,PERF,SENSOR
cpu0: 2MB 64b/line 8-way L2 cache
cpu0: smt 0, core 0, package 0
mtrr: Pentium Pro MTRR support, 7 var ranges, 88 fixed ranges
cpu0: apic clock running at 199MHz
cpu0: mwait min=64, max=64, C-substates=0.2.2.2.2.1.3, IBE
cpu1 at mainbus0: apid 1 (application processor)
cpu1: Intel(R) Core(TM)2 Duo CPU T6570 @ 2.10GHz, 2094.75 MHz
cpu1: 
FPU,VME,DE,PSE,TSC,MSR,PAE,MCE,CX8,APIC,SEP,MTRR,PGE,MCA,CMOV,PAT,PSE36,CFLUSH,DS,ACPI,MMX,FXSR,SSE,SSE2,SS,HTT,TM,PBE,SSE3,DTES64,MWAIT,DS-CPL,VMX,EST,TM2,SSSE3,CX16,xTPR,PDCM,SSE4.1,XSAVE,LONG,LAHF,PERF,SENSOR
cpu1: 2MB 64b/line 8-way L2 cache
cpu1: smt 0, core 1, package 0
ioapic0 at mainbus0: apid 1 pa 0xfec0, version 20, 24 pins
acpimcfg0 at acpi0 addr 0xe000, bus 0-255
acpiprt0 at acpi0: bus 1 (PEGP)
acpiprt1 at acpi0: bus 2 (RP01)
acpiprt2 at acpi0: bus 3 (RP02)
acpiprt3 at acpi0: bus 4 (RP05)
acpiprt4 at acpi0: bus 69 (RP06)
acpiprt5 at acpi0: bus 70 (PCIB)
acpiprt6 at acpi0: bus 0 (PCI0)
acpiec0 at acpi0
acpicpu0 at acpi0: !C2(100@57 mwait.3@0x30), C1(1000@1 mwait.1), PSS
acpicpu1 at acpi0: !C2(100@57 mwait.3@0x30), C1(1000@1 mwait.1), PSS
acpipwrres0 at acpi0: APPR, resource for HDEF
acpipwrres1 at acpi0: COMP, resource for COM1
acpipwrres2 at acpi0: LPP_, resource for LPT0
acpipwrres3 at acpi0: PFN6, resource for FAN6
acpipwrres4 at acpi0: PFN7, resource for FAN7
acpipwrres5 at acpi0: PFN8, resource for FAN8
acpipwrres6 at acpi0: PFN9, resource for FAN9
acpipwrres7 at acpi0: PFNA, resource for FANA
acpipwrres8 at acpi0: PFNB, resource for FANB
acpipwrres9 at acpi0: PGF0, resource for FANG
acpitz0 at acpi0: critical temperature is 108 degC
acpipwrres10 at acpi0: PFN0, resource for FAN0
acpipwrres11 at acpi0: PFN1, resource for FAN1
acpipwrres12 at acpi0: PFN2, resource for FAN2
acpipwrres13 at acpi0: PFN3, resource for FAN3
acpipwrres14 at acpi0: PFN4, resource for FAN4
acpipwrres15 at acpi0: PFN5, resource for FAN5
acpitz1 at acpi0: critical temperature is 105 degC
acpitz2 at acpi0: critical temperature is 108 degC
acpitz3 at acpi0: critical temperature is 105 degC
acpitz4 at acpi0: critical temperature is 108 degC
acpitz5 at acpi0: critical temperature is 110 degC
"PNP0A06" at acpi0 not configured
"PNP0303" at acpi0 not configured
"SYN0149" at acpi0 not configured
"HPQ0004" at acpi0 not configured
acpibat0 at acpi0: BAT0 model "Primary" serial 00531 2012/02/07 type
LIon oem "Hewlett-Packard"
acpiac0 at acpi0: AC unit online
acpibtn0 at acpi0: SLPB
acpibtn1 at acpi0: LID_
"PNP0C32" at acpi0 not configured
"PNP0C14" at acpi0 not configured
"PNP0C0B" at acpi0 not configured
"PNP0C0B" at acpi0 not configured
"PNP0C0B" at acpi0 not configured
"PNP0C0B" at a