Un
gestor de arranque o
arrancador (en inglés «bootloader») es un
programa sencillo que no tiene la totalidad de las funcionalidades de un
sistema operativo, y que está diseñado exclusivamente para preparar todo lo que necesita el sistema operativo para funcionar. Normalmente se utilizan los cargadores de arranque multietapas, en los que varios programas pequeños se suman los unos a los otros, hasta que el último de ellos carga el sistema operativo.