The wiki page of Python UEFI in edk2-libc repo needs to be updated with relevant details to cover all the APIs supported by the edk2module along with sample code snippets.
Currently it has limited documentation and sample code snippets for very few APIs only (cpuid, rdmsr and rdpci).