Sorry, not sure if i can put a question here but all this info https://www.freebsd.org/projects/acpi/ looks very outdated. Any idea about where to ask? Regards. W.