セマフォを使ったタスク間同期の確認を行いました。vxget_timの実装不具合を発見したので修正しました。vxget_timはコアの64bitサイクルカウンターを直接読んでいるので性能評価が楽です。また、コアクロック選択マクロとPLLの設定に不整合があったため少々書き直しました。現在EZKIT750MHzマクロとEZKIT600MHzマクロを使ってあちこちを制御していますが、そうではなくてsys_configの中でCSEL、SSEL、MSELを直接宣言したほうがいいかもしれません。ちょっと考え中。
