1. "Lenovo System Update: Update Drivers, BIOS and Applications". support.lenovo.com.

2011년 6월 5일에 확인함. “Lenovo System Update: Update Drivers, BIOS and Applications”. 《support.lenovo.com》. John G. Spooner (2002년 11월 4일).

2. If the HPET is set up correctly in the ACPI from BIOS then the ACPI MMIO page of the first HPET chip should be at 0xFED00000 and the second HPET at page 0xFED80000 (see the discussion for further information).

혹시 HPET을 BIOS가 ACPI로 제대로 설정할 수 있다면 ACPI MMIO 페이지가 최초에 0xFED00000이며 그 다음에 0xFED80000가 있을 것이다.

3. There are occasions when dereferencing the pointer to address zero is intentional and well-defined; for example, BIOS code written in C for 16-bit real-mode x86 devices may write the IDT at physical address 0 of the machine by dereferencing a null pointer for writing.

의도적이고 잘 정의된 널을 역참조할 때 여러 경우들 또한 존재한다는 점을 주의하라; 예를 들면 16비트 리얼 모드 x86 디바이스에서 C로 짜여진 BIOS 코드는 머신의 물리 주소 0에 쓰기 위한 용도로 NULL 포인터를 역참조함으로써 IDT를 쓴다.