summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorP. J. McDermott <pehjota>2014-06-16 23:18:43 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-06-16 23:18:43 (EDT)
commit771ad680a2012a333021d48588d2a76ae8135f9b (patch)
tree3491b841877464ed690ea8132b4bf77aa75bbb4b /doc
parent936941301fbc4a8be6933d8a713c858b61dd8a88 (diff)
doc/plat/porting: Upgrade headers.
Diffstat (limited to 'doc')
-rw-r--r--doc/plat/porting.mdwn8
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/plat/porting.mdwn b/doc/plat/porting.mdwn
index e3a03a7..dc829c5 100644
--- a/doc/plat/porting.mdwn
+++ b/doc/plat/porting.mdwn
@@ -11,7 +11,7 @@ computer that ProteanOS already supports (in which case, just go install
ProteanOS!).
Set Up a ProteanOS System
--------------------------
+=========================
Get miniprokit, the "Mini ProteanOS Development Kit", as instructed here:
<http://www.proteanos.com/get/>.
@@ -31,7 +31,7 @@ it, and enter a ProteanOS shell:
# /path/to/miniprokit.sh shell /mnt
Install, Configure, and Build the `linux-libre` Source Package
---------------------------------------------------------------
+==============================================================
Choose a platform on which this new platform will be based. In this tutorial,
`ao751h` is used.
@@ -65,7 +65,7 @@ other than `dev`:
/usr/src/linux-libre_3.10.40~gnu-2 # opkbuild -bcdP dimension2400
Make the System Bootable
-------------------------
+========================
Install the newly built linux-image package:
@@ -91,7 +91,7 @@ The storage medium can then be removed and connected to the target computer.
Boot it!
Make a `config-*` Source Package
---------------------------------
+================================
Once the `linux-libre` configuration is tested to boot and support all the
relevant hardware and features, a configuration package should be made.