From c90b9e71b9c99a8b1e1c1732408056c6249fb78b Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Mon, 16 Jun 2014 23:22:30 -0400 Subject: doc/plat/porting: Use wiki URL and backquotes. --- (limited to 'doc/plat') 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: -. +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: -- cgit v0.9.1