#ifndef PROTOS__EFI_BOOT_ENTRY_H__
#define PROTOS__EFI_BOOT_ENTRY_H__

#include <stdnoreturn.h>

noreturn void efi_boot_entry(char *config);

#endif