/*
 *  @(#) $Id: banner.cfg 313 2017-07-23 04:50:32Z coas-nagasima $
 */

/*
 *		カーネル起動メッセージの出力のコンフィギュレーションファイル
 */

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