diff --git a/src/arch/arm/fastpath/fastpath.c b/src/arch/arm/fastpath/fastpath.c
index f4125b0a5681f5f25814ed1f7de8071997a05337..03e428e9c8270d8bf58006e3093d2f4487fc84d0 100644
--- a/src/arch/arm/fastpath/fastpath.c
+++ b/src/arch/arm/fastpath/fastpath.c
@@ -22,7 +22,7 @@
 #include <arch/fastpath/fastpath.h>
 #include <armv/fastpath.h>
 
-/* When building the fastapth the assembler in traps.S makes these
+/* When building the fastpath the assembler in traps.S makes these
  * assumptions. Because compile_asserts are hard to do in assembler,
  * we place them here */
 compile_assert(SysCall_Minus1, SysCall == -1)
@@ -276,7 +276,7 @@ fastpath_call(word_t cptr, word_t msgInfo)
     /*
      * --- POINT OF NO RETURN ---
      *
-     * At this stage, we have commited to performing the IPC.
+     * At this stage, we have committed to performing the IPC.
      */
 
     /* Dequeue the destination. */
@@ -413,7 +413,7 @@ fastpath_reply_wait(word_t cptr, word_t msgInfo)
     /*
      * --- POINT OF NO RETURN ---
      *
-     * At this stage, we have commited to performing the IPC.
+     * At this stage, we have committed to performing the IPC.
      */
 
     /* Set thread state to BlockedOnReceive */
diff --git a/src/arch/ia32/fastpath/fastpath.c b/src/arch/ia32/fastpath/fastpath.c
index 86d8531ab7d12f5362a3c1de993e75515d2ccb70..87003757ca6b75f2b608f8ab92b48e42ea45c002 100644
--- a/src/arch/ia32/fastpath/fastpath.c
+++ b/src/arch/ia32/fastpath/fastpath.c
@@ -97,7 +97,7 @@ switchToThread_fp(tcb_t *thread, pde_t *pd)
     ksCurThread = thread;
 }
 
-/* Custom implementation of functions for maniuplating some data structures generated
+/* Custom implementation of functions for manipulating some data structures generated
    from arch/object/structures.bf */
 
 static inline void
@@ -333,7 +333,7 @@ fastpath_call(word_t cptr, word_t msgInfo)
     /*
      * --- POINT OF NO RETURN ---
      *
-     * At this stage, we have commited to performing the IPC.
+     * At this stage, we have committed to performing the IPC.
      */
 
     /* Need to update NextEIP in the calling thread */
@@ -459,7 +459,7 @@ fastpath_reply_wait(word_t cptr, word_t msgInfo)
     /*
      * --- POINT OF NO RETURN ---
      *
-     * At this stage, we have commited to performing the IPC.
+     * At this stage, we have committed to performing the IPC.
      */
 
     /* Need to update NextEIP in the calling thread */
diff --git a/src/arch/ia32/traps.S b/src/arch/ia32/traps.S
index 1cfe7c2040da25ec304de4d9dcfac0fa86a09554..a8ad2167885d422b744e92bbb4a64c5f2269692a 100644
--- a/src/arch/ia32/traps.S
+++ b/src/arch/ia32/traps.S
@@ -423,7 +423,7 @@ BEGIN_FUNC(handle_syscall)
     pushl   %ebx            # save EBX (cap/badge register)
     pushl   %eax            # save EAX (syscall number)
 
-    # set kernel data segments (ds and es) if neccessary (set them to the user value though)
+    # set kernel data segments (ds and es) if necessary (set them to the user value though)
     SET_SEL(ds, 7  * 4, 0x23)
     SET_SEL(es, 8  * 4, 0x23)