/*
 *  @(#) $Id$
 */

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

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