/*
* Copyright (c) 2020 AIIT XUOS Lab
* XiUOS is licensed under Mulan PSL v2.
* You can use this software according to the terms and conditions of the Mulan PSL v2.
* You may obtain a copy of Mulan PSL v2 at:
*        http://license.coscl.org.cn/MulanPSL2
* THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND,
* EITHER EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT,
* MERCHANTABILITY OR FIT FOR A PARTICULAR PURPOSE.
* See the Mulan PSL v2 for more details.
*/

/**
* @file:    xiuos.h
* @brief:   all header files of kernel
* @version: 1.0
* @author:  AIIT XUOS Lab
* @date:    2020/3/10
*
*/

#ifndef XIUOS_H
#define XIUOS_H

#include <xsconfig.h>
#include <xs_kdbg.h>
#include <xs_base.h>
#include <xs_mutex.h>
#include <xs_sem.h>
#include <xs_event.h>
#include <xs_msg.h>
#include <xs_ktask.h>
#include <xs_timer.h>
#include <xs_klist.h>
#include <xs_isr.h>
#include <string.h>
#include <stdio.h>
#include <xs_memory.h>
#include <xs_id.h>
#include <xs_ktick.h>
#include <xs_kdevice.h>
#include <xs_init.h>
#include <xs_assign.h>
#include <xs_banner.h>
#include <xs_poll.h>
#include <xs_workqueue.h>
#include <xs_circular_area.h>
#include <xs_dataqueue.h>

#endif
