system.h

// SPDX-License-Identifier: MIT
/*
 * API for the hub built-in status light.
 *
 * Copyright (c) 2022 Embedded and Real-Time Systems Laboratory,
 *                    Graduate School of Information Science, Nagoya Univ., JAPAN
 */
 
#ifndef _HUB_SYSTEM_H_
#define _HUB_SYSTEM_H_
 
#include <stdint.h>
 
void hub_system_shutdown(void);
 
#endif // _HUB_SYSTEM_H_