summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorP. J. McDermott <pehjota>2014-06-16 23:22:30 (EDT)
committer P. J. McDermott <pj@pehjota.net>2014-06-16 23:22:30 (EDT)
commitc90b9e71b9c99a8b1e1c1732408056c6249fb78b (patch)
treea2a4c6120f8196fb60d97b594ff7951a9e10c535 /doc
parent771ad680a2012a333021d48588d2a76ae8135f9b (diff)
doc/plat/porting: Use wiki URL and backquotes.
Diffstat (limited to 'doc')
-rw-r--r--doc/plat/porting.mdwn6
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/plat/porting.mdwn b/doc/plat/porting.mdwn
index dc829c5..26e8363 100644
--- a/doc/plat/porting.mdwn
+++ b/doc/plat/porting.mdwn
@@ -13,15 +13,15 @@ ProteanOS!).
Set Up a ProteanOS System
=========================
-Get miniprokit, the "Mini ProteanOS Development Kit", as instructed here:
-<http://www.proteanos.com/get/>.
+Get miniprokit, the "Mini ProteanOS Development Kit", as instructed on the
+[[download_page|get]].
Connect the storage medium (e.g. a hard disk drive connected using a USB
adapter/dock or a USB flash drive). On it, create one primary partition of type
0x83 (Linux) and mark it as bootable. cfdisk, sfdisk, or fdisk can be used for
this.
-Run the following commands (replacing "/dev/sdc1" with the path to the newly
+Run the following commands (replacing `/dev/sdc1` with the path to the newly
created partition) to make and mount an ext4 file system, install ProteanOS into
it, and enter a ProteanOS shell: