* Copyright (c) Huawei Technologies Co., Ltd. 2025. All rights reserved.
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License version 2 and
* only version 2 as published by the Free Software Foundation.
*
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*/
#ifndef __PBL_KERNEL_INTERFACE_H__
#define __PBL_KERNEL_INTERFACE_H__
#include "pbl/pbl_prof_interface.h"
#include "pbl/pbl_array_ctx.h"
#include "pbl/pbl_board_config.h"
#include "pbl/pbl_chip_config.h"
#include "pbl/pbl_davinci_api.h"
#include "pbl/pbl_dev_identity.h"
#include "pbl/pbl_drv_pkicms.h"
#include "pbl/pbl_feature_loader.h"
#include "pbl/pbl_ka_memory.h"
#include "pbl/pbl_ka_timer_pub.h"
#include "pbl/pbl_kernel_adapt.h"
#include "pbl/pbl_kref_safe.h"
#include "pbl/pbl_mem_alloc_interface.h"
#include "pbl/pbl_range_rbtree.h"
#include "pbl/pbl_runenv_config.h"
#include "pbl/pbl_soc_res_attr.h"
#include "pbl/pbl_soc_res.h"
#include "pbl/pbl_soc_res_sync.h"
#include "pbl/pbl_spod_info.h"
#include "pbl/pbl_task_ctx.h"
#include "pbl/pbl_uda.h"
#include "pbl/pbl_urd_common.h"
#include "pbl/pbl_urd.h"
#include "pbl/pbl_urd_main_cmd_def.h"
#include "pbl/pbl_urd_sub_cmd_def.h"
#include "pbl/pbl_user_cfg_interface.h"
#include "pbl/pbl_ka_mem_query.h"
#endif
