構文
imagestore = <id>説明
PDI の ID を指定してイメージ ストアに追加します。イメージ ストア機能は、PDI ファイルをメモリ (DDR) に格納し、後でその PDI 内に指定したイメージを読み込むために使用します。これは、外部ブート デバイスに関係なく、パーシャル リコンフィギュレーション、サブシステム再起動などを可能にするためのものです。
例
write_imagestore_pdi:
{
id_code = 0x04d14093
extended_id_code = 0x01
id = 0xb
image
{
name = pl_noc, id = 0x18700000
partition
{
id = 0xb05, type = cdo, file = imagestore.rnpi
}
}
}
master:
{
id_code = 0x04d14093
extended_id_code = 0x01
id = 0x2
image
{
name = IMAGE_STORE, id = 0x18700000
partition
{
id = 0xb15, imagestore = 0x1
section = write_imagestore_pdi
}
}
}