10.1 EDK  – 当我尝试为PPC440配置文件时,LibGen在_profile_timer_hw.c中给出了错误-Altera-Intel社区-FPGA CPLD-ChipDebug