Mini/Temporary ProteanOS Development Kit
----------------------------------------

This is miniprokit, a small and simple predecessor of the ProteanOS
Development Kit (prokit).  It was developed as a temporary and crude
tool to install ProteanOS systems until prokit could replace it.  It is
now obsolete, unmaintained, and no longer functional.  Please use prokit
instead.

Copyright Information
---------------------

Copyright (C) 2018  Patrick "P. J." McDermott

Copying and distribution of this file, with or without modification,
are permitted in any medium without royalty provided the copyright
notice and this notice are preserved.  This file is offered as-is,
without any warranty.