*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>
*/
FILE_LICENCE ( PUBLIC_DOMAIN );
+ FILE_SECBOOT ( PERMITTED );
#include <ipxe/keymap.h>