/*
   * FIPS 200 support.
   *
   * Copyright (c) 2008 Neil Horman <nhorman@tuxdriver.com>
   *
   * This program is free software; you can redistribute it and/or modify it
   * under the terms of the GNU General Public License as published by the Free
   * Software Foundation; either version 2 of the License, or (at your option)
   * any later version.
   *
   */
  
  #include "internal.h"
  
  int fips_enabled;
  EXPORT_SYMBOL_GPL(fips_enabled);
  
  /* Process kernel command-line parameter at boot time. fips=0 or fips=1 */
  static int fips_enable(char *str)
  {
  	fips_enabled = !!simple_strtol(str, NULL, 0);
  	printk(KERN_INFO "fips mode: %s
  ",
  		fips_enabled ? "enabled" : "disabled");
  	return 1;
  }
  
  __setup("fips=", fips_enable);