Fix high interrupt ISRs
[viridis.git] / kernel / platforms / efi / setup.c
2019-04-12 Jack MillerDetect ACPI 2.0 RSDP as well
2016-08-04 Jack Millerefi: Add tab support
2016-08-01 Jack Millerefi: Fix vertical scroll
2016-06-06 Jack Millerkernel: Do console_init earlier
2016-06-06 Jack Millerefi: Map BootServices junk
2016-06-05 Jack Millerefi: Implement find_rsdp
2016-06-04 Jack Milleracpi: Refactor RSDP logic into platform
2016-05-22 Jack Millerefi: Blit 8x8 bitmap font to screen
2016-05-21 Jack Millerefi: Clear framebuffer
2016-05-05 Jack Millerefi: Enable EFI calls in our kernel context
2016-05-05 Jack Millerefi: Actually parse memory map
2016-05-04 Jack Millerefi: finish stubbing platform file
2016-05-04 Jack Millerboot: Get grub.h out of common includes
2016-05-04 Jack Millerplatform: Refactor page_alloc for platform memmap
2016-05-04 Jack MillerDetect platform