1#ifndef CONFIG_CONSOLE_H
2#define CONFIG_CONSOLE_H
25#define CONSOLE_FRAMEBUFFER
27#define CONSOLE_SYSLOGS
30#if ! defined ( SERIAL_NULL )
35#if defined ( PLATFORM_pcbios )
37 #define CONSOLE_PCBIOS
41#if defined ( PLATFORM_efi )
46#if defined ( PLATFORM_sbi )
51#if defined ( PLATFORM_linux )
56#if defined ( __i386__ ) || defined ( __x86_64__ )
64#if defined ( CONSOLE_SBI )
65 #define CONSOLE_SERIAL
69#if defined ( PLATFORM_pcbios )
70 #undef CONSOLE_FRAMEBUFFER
72 #undef CONSOLE_SYSLOGS
83#define KEYBOARD_MAP us
95#define LOG_LEVEL LOG_NONE
98#include NAMED_CONFIG(console.h)
100#include LOCAL_NAMED_CONFIG(console.h)
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.