1 /* 2 * Copyright (C) 2022 Huawei Technologies Co., Ltd. 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 13 #ifndef GTASK_INIT_H 14 #define GTASK_INIT_H 15 16 #include <stdint.h> 17 #include <stdbool.h> 18 #include <stddef.h> 19 20 #define SHELL_ENVP_LEN 2 21 #define MAX_RESPAWNS 3 22 #define SHELL "/picosh.elf" 23 24 #define RESERVED_SYSMGR_CRED (-1) /* defined in kernel/boot.c create_process() */ 25 26 int init_main(void); 27 void init_shell(void); 28 bool is_sys_task(uint32_t task_id); 29 uint32_t get_timer_pid(void); 30 int32_t get_drvmgr_pid(uint32_t *task_id); 31 32 #endif 33