Almudena Garcia, le lun. 20 avril 2020 20:28:34 +0200, a ecrit: > Ok. In any case, I need to know the "API" of ACPI translator,
For now it's just the /servers/acpi files that you can open()/read(). That is plain C code. > and how to raise the RPC to set the communication. For that part, you will indeed need to add a device inside GNU Mach, that you will be able to driver from userland. > Where can I find this information? You can find the "Device Interface" chapter in the mach manual. You have several examples referenced in ./i386/i386at/conf.c. For setting up SMP, you would probably just want to implement the device_set_status call. Samuel
