1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 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 #include <machine.h> 13 teeos_cfg_init(paddr_t start_pa)14void teeos_cfg_init(paddr_t start_pa) 15 { 16 } 17 get_tzdram_start(void)18paddr_t get_tzdram_start(void) 19 { 20 return 0x8400000; 21 } 22 get_tzdram_end(void)23paddr_t get_tzdram_end(void) 24 { 25 return 0x8400000 + 0x1c00000; 26 } 27 get_gicd_base(void)28paddr_t get_gicd_base(void) 29 { 30 return 0xfd400000; 31 } 32 get_uart_base(void)33paddr_t get_uart_base(void) 34 { 35 return 0xfe660000; 36 } 37