diff options
| author | P. J. McDermott <pehjota> | 2014-06-16 23:18:43 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-06-16 23:18:43 (EDT) |
| commit | 771ad680a2012a333021d48588d2a76ae8135f9b (patch) | |
| tree | 3491b841877464ed690ea8132b4bf77aa75bbb4b | |
| parent | 936941301fbc4a8be6933d8a713c858b61dd8a88 (diff) | |
doc/plat/porting: Upgrade headers.
| -rw-r--r-- | doc/plat/porting.mdwn | 8 |
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. |