Karel Gardas bf53ff2de2 bsps/amd64: add a new EFI-based variant of AMD64 BSP ...

The new amd64efi BSP supports:
- multiboot2 boot format. Runs well with GRUB.
- console based on either EFI simple text output or GOP-based framebuffer
- clock based on EFI event/timer API
- early console using either hard-wired PC-AT serial or just memory buffer
- with EFI support disabled the BSP is more or less equivalent to amd64 BSP
  with multiboot2 support

2023-04-29 20:41:23 +02:00

..

clock.c

…

eficlock.c

…