Chiedo qui dopo una lunga ricerca che non mi ha portato a nulla (probabilmente per mia incompetenza)
Ho una buona conoscenza del linguaggio C e possiedo le basi per scrivere un modulo del kernel, ma non so assolutamente dove reperire informazioni su ACPI
Se cerco la documentazione trovo solo how-to che spiegano come installare ed usare ACPI ma a me interessa comprende come programmare un driver di questo tipo e precisamente come usare le funzionalità fornite, tra cui:
acpi_evaluate_object()
acpi_evaluate_integer()
ec_read()
ec_write()
e tante altre....
Ma non so' dove reperire le informazioni adeguate, ho trovato addirittura documentazione relativa alla specifica ACPI per la sua implementazione (utile per analizzare una DSDT) ma nulla sull' "accesso dei dati ACPI" da linux
Spero di trovare qui qualche persona più informata di me sull'argomento disposta ad indirizzarmi nella giusta direzione
Ringrazio anticipatamente chi mi aiuterà