modify sdk.h
modify interrupt.h and upload gic.h