Subject: ACPI S4BIOS support
To: None <current-users@netbsd.org, port-i386@netbsd.org>
From: Joerg Sonnenberger <joerg@britannica.bec.de>
List: port-i386
Date: 11/11/2007 19:30:45 
Hi all,
is there someone out in NetBSD with hardware that supports S4BIOS?
Does it actually work? Is there someone *using* it?

If the answer to this three question is no, I would like to remove the
support...

Joerg