// // Startup banner, to be displayed durin cold start // startup_banner: TARGET_HOOK_BANNER()