1 2 3 4 5 6 7 8 9 10 11 12 13
config HAVE_INIT_TIMER int default 1 config HAVE_MOVNTI int default 1 config CPU_ADDR_BITS int default 40