(toppers-users 4180) SafeG 1.0 のリリース

[Shinya Honda]

皆様

本田です．

SafeG 1.0 をリリースしました．0.5からの変更点は次の通りです．

---------------------------------------
 1.新規ターゲット追加
  1.1 Altera SoC対応
      Altera 社 Cyclone V SoC 開発キット(Altera SoC)

http://www.altera.co.jp/products/devkits/altera/kit-cyclone-v-soc.html
  1.1 Xilinx Zynq対応
      Avnet社 ZedBoard(Xilinx Zynq)
       http://www.zedboard.org/
 2.マルチコア対応
 3.システムコール機能
  3.1 ワールド切り替え
  3.2 Notifiers
  3.3 Monitorリードライト
  3.4 NTリスタート
  3.5 ダイナミックシステムコール
 4.ソフトウェア構造/フォルダ構成の変更
---------------------------------------


ビルド手法については以下にある各ターゲット毎のマニュアルを参照してください．
  safeg-1.0/doc/jp/target/


Trust側で動作させるFMPカーネルは以下のバージョンを使用してください．

Altera SoC
 fmp_socfpga_gcc-20131118.tar.gz

Xilinx Zynq
 fmp_zynq_gcc-20131203.tar.gz


Altera SoC と Xilinx Zynq 向けには，プリビルドバイナリも公開しました．

以上，よろしくお願いします．