Это находится в руководстве по gcc: https://gcc.gnu.org/onlinedocs/ . Для него нет руководств AFAIK.
Вы можете создать сервер загрузки PXE. Вы можете сделать это в нескольких операционных системах, включая Debian.
ПК2 настроен как сервер загрузки PXE, потенциально использующий ресурсы из образа ISO. Затем ПК1 настраивается в BIOS для загрузки с этих ресурсов.
Для поддержки этого на ПК2 требуется много всего, и ПК1 также должен поддерживать загрузку по сети из BIOS.
В Debian Wiki есть длинная рецензия, я постараюсь ее резюмировать (но процесс довольно сложный).
Прочтите Wiki, на которую я ссылаюсь, там есть больше деталей.