BKO, kurz für boot.kernel.org (öffnet im neuen Fenster), erlaubt das Booten von Linux-Distributionen über das Internet.