Document how to detect Soft-RT cores

[forderud]

Can you please extend the Soft-RT documentation to also cover run-time detection of real-time cores?

I'm already retrieving what I believe is this information using:

unsigned long buffer_size = 0;
GetSystemCpuSetInformation(nullptr, 0, &buffer_size, GetCurrentProcess(), 0);
std::vector<SYSTEM_CPU_SET_INFORMATION> scsi(buffer_size/sizeof(SYSTEM_CPU_SET_INFORMATION));
GetSystemCpuSetInformation(scsi.data(), buffer_size, &buffer_size, GetCurrentProcess(), 0);
// information in scsi array

However, the SYSTEM_CPU_SET_INFORMATION documentation doesn't state if I should use the Allocated or the RealTime field for real-time core detection. It would be great if this could be clarified, so that I can start writing production-quality code against Soft-RT.

[forderud]

Gentle reminder.