path: root/dev
diff options
Diffstat (limited to 'dev')
1 files changed, 1 insertions, 1 deletions
diff --git a/dev/plat/simpler-porting.mdwn b/dev/plat/simpler-porting.mdwn
index 3836963..ccdae34 100644
--- a/dev/plat/simpler-porting.mdwn
+++ b/dev/plat/simpler-porting.mdwn
@@ -7,7 +7,7 @@ makes it not so easy to [[port it to a new computer|doc/plat/porting]].
There are four main steps to porting ProteanOS to a new platform:
1. **Configure**: First, the platform-specific source packages (`busybox` and
- `linux-libre` need to be configured for the new platform.
+ `linux-libre`) need to be configured for the new platform.
2. **Build**: Next, those platform-specific packages need to be built for the
new platform.
3. **Install**: Then, a bootable ProteanOS system with the newly built