On 18/11/18 04:30, liberamenso10...@gmail.com wrote: > Ok. In any case, I've restarted the project two months ago. > > You can read the docs from here: > https://gitlab.com/snippets/1756024
Hi, don't forget you can read the coreboot source code which is a free software bios that, among other things, sets up the cpus and exports the ACPI tables. I believe it is GPLv2 only, but some files are licensed under GPLv2 or later. Just download the coreboot source and git grep cpus or IPI, theres plenty of good info in there to study. Cheers, Damien