source: ssp_aarch64/trunk/qemu_virt_gcc/target_config.h@ 356

Last change on this file since 356 was 356, checked in by nmir-saito, 6 years ago

set svn:mime-type to files
  • Property svn:mime-type set to text/plain; charset=utf-8
File size: 3.9 KB
Line 
1/*
2 * TOPPERS/SSP Kernel
3 * Smallest Set Profile Kernel
4 *
5 * Copyright (C) 2000-2003 by Embedded and Real-Time Systems Laboratory
6 * Toyohashi Univ. of Technology, JAPAN
7 * Copyright (C) 2005-2007 by Embedded and Real-Time Systems Laboratory
8 * Graduate School of Information Science, Nagoya Univ., JAPAN
9 * Copyright (C) 2012 by Meika Sugimoto
10 * Copyright (C) 2018 by Naoki Saito
11 * Nagoya Municipal Industrial Research Institute, JAPAN
12 *
13 * 上記著作権者は，以下の(1)〜(4)の条件を満たす場合に限り，本ソフトウェ
14 * ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
15 * 変・再配布（以下，利用と呼ぶ）することを無償で許諾する．
16 * (1) 本ソフトウェアをソースコードの形で利用する場合には，上記の著作
17 * 権表示，この利用条件および下記の無保証規定が，そのままの形でソー
18 * スコード中に含まれていること．
19 * (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
20 * 用できる形で再配布する場合には，再配布に伴うドキュメント（利用
21 * 者マニュアルなど）に，上記の著作権表示，この利用条件および下記
22 * の無保証規定を掲載すること．
23 * (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
24 * 用できない形で再配布する場合には，次のいずれかの条件を満たすこ
25 * と．
26 * (a) 再配布に伴うドキュメント（利用者マニュアルなど）に，上記の著
27 * 作権表示，この利用条件および下記の無保証規定を掲載すること．
28 * (b) 再配布の形態を，別に定める方法によって，TOPPERSプロジェクトに
29 * 報告すること．
30 * (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
31 * 害からも，上記著作権者およびTOPPERSプロジェクトを免責すること．
32 * また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
33 * 由に基づく請求からも，上記著作権者およびTOPPERSプロジェクトを
34 * 免責すること．
35 *
36 * 本ソフトウェアは，無保証で提供されているものである．上記著作権者お
37 * よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
38 * に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
39 * アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
40 * の責任を負わない．
41 *
42 */
43
44#ifndef TOPPERS_TARGET_CONFIG_H
45#define TOPPERS_TARGET_CONFIG_H
46
47/*
48 * ターゲット依存部モジュール(QEMU-VIRT用)
49 *
50 * カーネルのターゲット依存部のインクルードファイル．
51 * kernel_impl.hのターゲット依存部の位置付けとなす．
52 */
53
54#include "qemu_virt.h"
55
56/*
57 * トレースログに関する設定
58 */
59#ifdef TOPPERS_ENABLE_TRACE
60#include "logtrace/trace_config.h"
61#endif /* TOPPERS_ENABLE_TRACE */
62
63/*
64 * デフォルトの非タスクコンテキスト用のスタック領域の定義
65 * 16byte単位で取得される．
66 */
67#define DEFAULT_ISTKSZ (0x4000 / 16) /* 16KByte */
68
69#ifndef TOPPERS_MACRO_ONLY
70
71/*
72 * ターゲットシステム依存の初期化
73 */
74extern void target_initialize(void);
75
76/*
77 * ターゲットシステムの終了
78 *
79 * システムを終了する時に使う．
80 */
81extern void target_exit(void) NoReturn;
82
83/*
84 * 対象とするプロセッサ番号
85 */
86#define ARM_PRC_INDEX (0)
87
88#endif /* TOPPERS_MACRO_ONLY */
89
90/*
91 * チップ依存モジュール（ARM64用）
92 */
93#include "arm64_gcc/prc_config.h"
94
95#endif /* TOPPERS_TARGET_CONFIG_H */
Note: See TracBrowser for help on using the repository browser.