/*
 *  @(#) $Id: banner.cfg 315 2017-07-23 05:29:40Z coas-nagasima $
 */

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

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