The IPL library contains a set of routines for building a custom IPL. Here are the available library functions:
| Function | Description |
|---|---|
| enable_cache | Enable the on-chip cache (x86 only). |
| image_download_8250() | Download an image from the specified serial port. |
| image_scan() | Scan memory for a valid system image. |
| image_scan_ext() | BIOS extension version of image_scan(). |
| image_setup() | Prepare an image for execution. |
| image_setup_ext() | BIOS extension version of image_setup(). |
| image_start() | Transfer control to the image. |
| image_start_ext() | BIOS extension version of image_start(). |
| int15_copy() | Copy data from high (above 1 MB) memory to a buffer or to low (below 1 MB) memory (x86 only). |
| print_byte() | Print a byte to video (x86 only). |
| print_char() | Print a character to video (x86 only). |
| print_long() | Print a long to video (x86 only). |
| print_sl() | Print a string, followed by a long to video (x86 only). |
| print_string() | Print a string to video (x86 only). |
| print_var() | Print a variable to video (x86 only). |
| print_word() | Print a word to video (x86 only). |
| protected_mode | Switch the processor to protected mode (x86 only). |
| uart_hex8 | Output an 8-bit hex number to the UART (x86 only). |
| uart_hex16 | Output a 16-bit hex number to the UART (x86 only). |
| uart_hex32 | Output a 32-bit hex number to the UART (x86 only). |
| uart_init | Initialize the on-chip UART (x86 only). |
| uart_put | Output a single character to the UART (x86 only). |
| uart_string | Output a NULL-terminated string to the UART (x86 only). |
| uart32_hex8 | Output an 8-bit hex number to the UART (for 32-bit protected mode environment; x86 only). |
| uart32_hex16 | Output a 16-bit hex number to the UART (for 32-bit protected mode environment; x86 only). |
| uart32_hex32 | Output a 32-bit hex number to the UART (for 32-bit protected mode environment; x86 only). |
| uart32_init | Initialize the on-chip UART (for 32-bit protected mode environment; x86 only). |
| uart32_put | Output a single character to the UART (for 32-bit protected mode environment; x86 only). |
| uart32_string | Output a NULL-terminated string to the UART (for 32-bit protected mode environment; x86 only). |