search

cl91 / NeptuneOS

Neptune OS: A Windows NT personality for the seL4 microkernel
GNU General Public License v3.0
370 stars 11 forks source link

Implement QuerySystemInformation(SystemProcessorInformation) #3

Closed pinaraf closed 2 years ago

pinaraf commented 2 years ago

Hi

I wanted to have a first look around the code, and supposed implementing more QuerySystemInformation calls was a good start. I added SystemProcessorInformation, which required adding a call to cpuid at the kernel startup. If I find some time, I'll try to add others, it's fun.

cl91 commented 2 years ago

Glad you are having fun! I've merged this. I also added a new commit which fixes the following

  1. __cpuid is a MSVC intrinsic so I moved it to public/crt/inc/intrin.h
  2. PROCESSOR_ARCHITECTURE_INTEL I believe means x86 so I added the amd64 case (PROCESSOR_ARCHITECTURE_AMD64)