Hi all!
This is my first message to the coreboot mailing list, so I'd like to thank the developers for the excellent job you've done.
I'm writing because, although coreboot does work on my board (a Gigabyte GA-6BXE), ACPI doesn't work, and I'd like to help, not being a programmer.
What information can I send that can help you?