Thank you for your replies.
The confusion resulted from the IA SDK actually using the SYS/BIOS. Anyway, I was looking forward to be able to read the code and use it for study, but found that the port implementation is just a binary file. Is there any alternative?