diff options
author | P. J. McDermott <pehjota> | 2014-06-16 23:25:50 (EDT) |
---|---|---|
committer | P. J. McDermott <pj@pehjota.net> | 2014-06-16 23:25:50 (EDT) |
commit | 57e0cf1f5d8523a7fa6a7ad03832219cf837be79 (patch) | |
tree | 810204cd1a041b3a2d8c087b86ed53a549000151 /doc/plat | |
parent | 1d20f6708c650c55a0d925c492330f74cf2ee969 (diff) |
doc/plat/porting: Add call to action and newlines.
Diffstat (limited to 'doc/plat')
-rw-r--r-- | doc/plat/porting.mdwn | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/plat/porting.mdwn b/doc/plat/porting.mdwn index df363f8..fe83706 100644 --- a/doc/plat/porting.mdwn +++ b/doc/plat/porting.mdwn @@ -10,6 +10,9 @@ have to configure Linux-libre for your computer, unless you happen to have a computer that ProteanOS already supports (in which case, just go install ProteanOS!). +So read on to port ProteanOS to your computer! + + Set Up a ProteanOS System ========================= @@ -31,6 +34,7 @@ enter a ProteanOS shell: # /path/to/miniprokit.sh install -a i686-linux-glibc -P dev /mnt # /path/to/miniprokit.sh shell /mnt + Install, Configure, and Build the `linux-libre` Source Package ============================================================== @@ -65,6 +69,7 @@ other than `dev`: /usr/src/linux-libre_3.10.40~gnu-2/tmp/src # cd ../../ /usr/src/linux-libre_3.10.40~gnu-2 # opkbuild -bcdP dimension2400 + Make the System Bootable ======================== @@ -91,6 +96,7 @@ The storage medium can then be removed and connected to the target computer. Boot it! + Make a `config-*` Source Package ================================ |