device_config.txt のパラメータ値として "," と ":" が使えない

[tmori]

原因は，device_config.txtのパース処理である，以下のコードで，","と":"をデリミタとしてデフォルト使用されているため．

cpuemu_load_devcfg()のtoken_split()