Hi
DSDT (Differentiated System Description Table) is a part of the ACPI specification. It supplies information about supported power events in a given system. ACPI tables are provided in firmware from the manufacturer. A common Linux problems are missing ACPI functionality, such as: fans not running, screens not turning off when the lid is closed, etc. This can stem from DSDTs made with Windows specifically in mind, which can be patched after installation. The goal of this article is to analyze and rebuild a faulty DSDT, so that the kernel can override the default one
https://wiki.archlinux.org/index.php/DSDTIf interested, here are some links and info
How to get yours
http://www.tonymacx86.com/dsdt/31716-guide-creating-your-own-dsdt-most-boards.htmlDownload
http://olarila.com/dsdt/DSDTEditor_Linux_Windows.zipunzip DSDTEditor_Linux_Windows.zip
What info my kernel gives (as example on a x86 tower) without running dsdt stuff
dmesg|grep DSDT
ACPI: DSDT 7ffb0440 04860 (v01 945GM 945GM2 00000002 INTL 20051117)
ACPI: EC: Look up EC in DSDT
Why am I posting?
There are more boards out there than just the beagleboard, RPi, mk802/803 etc
I am thinking odroid-x2 which is
SAMSUNG Exynos4412 Quad-core ARM Cortex-A9 1.7GHz
2GByte Memory
6 x High speed USB2.0 Host port
10/100Mbps Ethernet with RJ-45 LAN Jack
good luck and hope its useful info
edit
looks like you need java to run the script