/*
 *		カーネル起動メッセージの出力のコンフィギュレーションファイル
 *
 *  $Id: banner.cfg 285 2014-11-29 07:37:58Z ertl-hiro $
 */

#include "syssvc/banner.h"
ATT_INI({ TA_NULL, 0, print_banner });