I'm using EDK2 to write a System Management Mode (SMM) driver. I think it uses "Pure C", given the fact that I'm not able to use standard C library like stdio. Even if I #include <stdio.h> it throws me an error undefined reference to "fopen" when I use any function like fopen("/proc/kallsyms", "rb").
In my understanding, this SMM driver (btw I'm writing code inside PiSmmCore.c) doesn't run on top of the OS, it runs on a different layer (correct me if I'm wrong, please). So given that context, if I can't use fopen, fread etc how can I access files like /proc/kallsyms?
Any help would be appreciated (even if it's just to say "hey man, you're wrong in your assumptions, try reading this article" or something). Thank you!
