Here is a list of all documented variables with links to the documentation:

• __attribute__ : acpi.h
• current_user : sh_util.h
• date : versions.h
• fb_height : kernel.h
• fb_width : kernel.h
• global_ahci_ctrl : ahci.h
• kend : kernel.h
• kernel_stack : tss.h
• kernel_stack_top : tss.h
• kstart : kernel.h
• public_key : secure-boot.h
• terminal_columns : kernel.h
• terminal_rows : kernel.h
• unifont : unifont.h
• versions : versions.h