eeb0811088
rtos: change XT_CLOCK_FREQ from 13MHz to 80MHz Freq has been change to `80MHz` in system_init, otherwise system tick will not be accurate now. Maybe we can config freq by menuconfig. See merge request !8