/*1* FIPS 200 support.2*3* Copyright (c) 2008 Neil Horman <[email protected]>4*5* This program is free software; you can redistribute it and/or modify it6* under the terms of the GNU General Public License as published by the Free7* Software Foundation; either version 2 of the License, or (at your option)8* any later version.9*10*/1112#include "internal.h"1314int fips_enabled;15EXPORT_SYMBOL_GPL(fips_enabled);1617/* Process kernel command-line parameter at boot time. fips=0 or fips=1 */18static int fips_enable(char *str)19{20fips_enabled = !!simple_strtol(str, NULL, 0);21printk(KERN_INFO "fips mode: %s\n",22fips_enabled ? "enabled" : "disabled");23return 1;24}2526__setup("fips=", fips_enable);272829