source: rubycfg_ssp/prc_kernel.trb@ 283

# -*- coding: utf-8 -*-
#
#   TOPPERS/SSP Kernel
#       Toyohashi Open Platform for Embedded Real-Time Systems/
#       Advanced Standard Profile Kernel
# 
#   Copyright (C) 2015 by FUJI SOFT INCORPORATED, JAPAN
#   Copyright (C) 2015,2016 by Embedded and Real-Time Systems Laboratory
#               Graduate School of Information Science, Nagoya Univ., JAPAN
#   Copyright (C) 2017 by Naoki Saito
#              Nagoya Municipal Industrial Research Institute, JAPAN
#
# 
#   上記著作権者
は，以下の(1)〜(4)ã®æ¡ä»¶ã‚’æº€ãŸã™å ´åˆã«é™ã‚Šï¼Œæœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§
#   ア（本ソフトウェアを改変したものを含む．以下同じ）を使用・複製・改
#   変・再é…
å¸ƒï¼ˆä»¥ä¸‹ï¼Œåˆ©ç”¨ã¨å‘¼ã¶ï¼‰ã™ã‚‹ã“とを無償で許諾する．
#   (1) æœ¬ã‚½ãƒ•ãƒˆã‚¦ã‚§ã‚¢ã‚’ã‚½ãƒ¼ã‚¹ã‚³ãƒ¼ãƒ‰ã®å½¢ã§åˆ©ç”¨ã™ã‚‹å ´åˆã«ã¯ï¼Œä¸Šè¨˜ã®è‘—ä½œ
#       権表示，この利用条件および下記の無保証規定が，そのままの形でソー
#       スコード中に含まれていること．
#   (2) 本ソフトウェアを，ライブラリ形式など，他のソフトウェア開発に使
#       用できる形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œå†é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨
#       者
マニュアルなど）に，上記の著作権表示，この利用条件および下記
#       の無保証規定を掲載すること．
#   (3) 本ソフトウェアを，機器に組み込むなど，他のソフトウェア開発に使
#       用できない形で再é…
å¸ƒã™ã‚‹å ´åˆã«ã¯ï¼Œæ¬¡ã®ã„ずれかの条件を満たすこ
#       と．
#     (a) 再é…
å¸ƒã«ä¼´ã†ãƒ‰ã‚­ãƒ¥ãƒ¡ãƒ³ãƒˆï¼ˆåˆ©ç”¨è€…
マニュアルなど）に，上記の著
#         作権表示，この利用条件および下記の無保証規定を掲載すること．
#     (b) 再é…
å¸ƒã®å½¢æ…
‹ã‚’，別に定める方法によって，TOPPERSプロジェクトに
#         å ±å‘Šã™ã‚‹ã“ã¨ï¼Ž
#   (4) 本ソフトウェアの利用により直接的または間接的に生じるいかなる損
#       害からも，上記著作権者
およびTOPPERSプロジェクトをå…
è²¬ã™ã‚‹ã“と．
#       また，本ソフトウェアのユーザまたはエンドユーザからのいかなる理
#       由に基づく請求からも，上記著作権者
およびTOPPERSプロジェクトを
#       å…
è²¬ã™ã‚‹ã“と．
# 
#   本ソフトウェアは，無保証で提供されているものである．上記著作権者
お
#   よびTOPPERSプロジェクトは，本ソフトウェアに関して，特定の使用目的
#   に対する適合性も含めて，いかなる保証も行わない．また，本ソフトウェ
#   アの利用により直接的または間接的に生じたいかなる損害に関しても，そ
#   ã®è²¬ä»»ã‚’è² ã‚ãªã„ï¼Ž
# 
#   $Id: core_kernel.trb 662 2016-02-27 02:33:51Z ertl-hiro $
# 

#
#               パス2の生成スクリプトのコア依存部（ARM用）
#

#
#  有効な割込み番号，割込みハンドラ番号
#
$INTNO_VALID = Array(15..$TMAX_INTNO)
$INHNO_VALID = $INTNO_VALID

#
#  有効なCPU例外ハンドラ番号
#
$EXCNO_VALID = [ 2, 3, 4, 5, 6, 11, 12, 14 ]

#
#  ATT_ISRで使用できる割込み番号とそれに対応する割込みハンドラ番号
#
$INTNO_ATTISR_VALID = $INTNO_VALID
$INHNO_ATTISR_VALID = $INHNO_VALID

#
#  DEF_INT/DEF_EXCで使用できる割込みハンドラ番号／CPU例外ハンドラ番号
#
$INHNO_DEFINH_VALID = $INHNO_VALID
$EXCNO_DEFEXC_VALID = $EXCNO_VALID

#
#  チェック方法の指定
#
$CHECK_STKSZ_ALIGN = 8

#
#  CFG_INTで使用できる割込み番号と割込み優å…
ˆåº¦
#
$INTNO_CFGINT_VALID = $INTNO_VALID
$INTPRI_CFGINT_VALID = Array(-(1 << $TBITW_IPRI)..-1)

#
#  割込み属性中のターゲット依存に用いるビット
#
#$TARGET_INTATR =

#
#  ターゲット非依存部のインクルード
#
IncludeTrb("kernel/kernel.trb")

$kernelCfgC.comment_header("Target-dependent Definitions (ARM-M)")

#
#  割込みベクタテーブル
#
$kernelCfgC.comment_header("Interrupt Vector Table")

$kernelCfgC.add("extern void kernel_svc_handler(void);")
$kernelCfgC.add
$kernelCfgC.add("__attribute__ ((section(\".vector\")))")
$kernelCfgC.add("const FP _kernel_vector_table[] = {")
$kernelCfgC.add("\t(FP)(TOPPERS_ISTKPT(TOPPERS_STK, TOPPERS_STKSZ)),   // 0 The initial stack pointer")
$kernelCfgC.add("\t(FP)_start,                 // 1 The reset handler")

(2..14).each do |excno|
  if excno == 11
    $kernelCfgC.append("\t(FP)(kernel_svc_handler),      // 11 SVCall handler")
  else
    $kernelCfgC.append("\t(FP)(_kernel_exc_entry),")
  end
  $kernelCfgC.add(" /* #{excno} */")
end

$INTNO_VALID.each do |inhno|
  if ($cfgData[:DEF_INH].has_key?(inhno)) && ($cfgData[:CFG_INT][inhno][:intpri] < $TIPM_LOCK)
    $kernelCfgC.append("\t(FP)(#{$cfgData[:DEF_INH][inhno][:inthdr]})")
  else
    $kernelCfgC.append("\t(FP)(_kernel_int_entry)")
  end
  $kernelCfgC.add(", /* #{inhno} */")
end

$kernelCfgC.add
$kernelCfgC.add2("};")

#
#  CPU例外ハンドラテーブル
#
$kernelCfgC.comment_header("CPU Exception Handler Table")

$kernelCfgC.add("const FP _kernel_exc_tbl[] = {")
(0..14).each do |excno|
  if $cfgData[:DEF_EXC].has_key?(excno)
    $kernelCfgC.append("\t(FP)(#{$cfgData[:DEF_EXC][excno][:exchdr]})")
  else
    $kernelCfgC.append("\t(FP)(_kernel_default_exc_handler)")
  end
  $kernelCfgC.add(", /* #{excno} */")
end

$INTNO_VALID.each do |inhno|
  if ($cfgData[:DEF_INH].has_key?(inhno)) && ($cfgData[:CFG_INT][inhno][:intpri] < $TIPM_LOCK)
    $kernelCfgC.append("\t(FP)(#{$cfgData[:DEF_INH][inhno][:inthdr]})")
  else
    $kernelCfgC.append("\t(FP)(_kernel_default_int_handler)")
  end
  $kernelCfgC.add(", /* #{inhno} */")
end

$kernelCfgC.add
$kernelCfgC.add2("};")

#
#  _kernel_bitpat_cfgintの生成
#

if ($TMAX_INTNO & 0x0f) == 0
  bitpat_cfgint_num = ($TMAX_INTNO >> 4)
else
  bitpat_cfgint_num = ($TMAX_INTNO >> 4) + 1
end

$kernelCfgC.add("const uint32_t _kernel_bitpat_cfgint[#{bitpat_cfgint_num}] = {")

(0..(bitpat_cfgint_num-1)).each do |num|
  bitpat_cfgint = 0
  ((num*32)..(num*32+31)).each do |inhno|
    if $cfgData[:DEF_INH].has_key?(inhno)
      bitpat_cfgint = bitpat_cfgint | (1 << (inhno & 0x01f))
    end
  end
  $kernelCfgC.add("\tUINT32_C(0x#{sprintf("%08x", bitpat_cfgint)}),")
end

$kernelCfgC.add2("};")