PC Installation

← Back to Installing ProteanOS

NOTE: These instructions use a feature in an unreleased version of the ProteanOS Development Kit. You'll need to have built prokit from its Git repository to use the PC installer.

This guide explains how to use the interactive installer program distributed with prokit, the ProteanOS Development Kit, to install ProteanOS on a PC platform.

It is assumed that you have already built and optionally installed prokit.


Make sure you have a computer supported by ProteanOS. If your computer is not supported, you can port ProteanOS to run on it. Currently supported are:

Determine the devices from which your computer can boot. For example, the Acer Aspire One AO751h can boot from an internal 2.5" SATA drive or from a storage device connected over USB (e.g. a flash drive), while the Dell Dimension 2400 can only boot from an internal PATA drive.

Pick a storage device on which you want to install ProteanOS and connect it to the computer on which you plan to run the installer. You can either connect the device to a different computer (easiest in the case of a USB flash drive, while an HDD or SSD would require a SATA/PATA-to-USB adapter) or run a live GNU/Linux system on the computer on which you plan to install ProteanOS.


If you installed prokit to your system, run:

$ sudo prokit installer-pc -a $arch -p $plat dev/trunk $device

Otherwise, from your prokit build directory, run:

$ sudo src/prokit installer-pc -a $arch -p $plat dev/trunk $device

Replace $arch with the architecture (e.g. i686-linux-glibc), $plat with the platform (e.g. x60), and $device with the device file name (e.g. /dev/sdb). Make sure you've selected the right device; prokit will erase the partition table and write a new file system on the device you specify!