diff --git a/libsel4/include/interfaces/sel4.xml b/libsel4/include/interfaces/sel4.xml
index ddd570362..5149a7180 100644
--- a/libsel4/include/interfaces/sel4.xml
+++ b/libsel4/include/interfaces/sel4.xml
@@ -8,72 +8,72 @@
 
      @TAG(NICTA_BSD)
   -->
-<api>	
+<api>
     <interface name="seL4_Untyped">
-       	<method id="UntypedRetype" name="Retype">
+           <method id="UntypedRetype" name="Retype">
             <param dir="in" name="type" type="seL4_Word"/>
-			<param dir="in" name="size_bits" type="seL4_Word"/>
-			<param dir="in" name="root" type="seL4_CNode"/>
-			<param dir="in" name="node_index" type="seL4_Word"/>
-			<param dir="in" name="node_depth" type="seL4_Word"/>
-			<param dir="in" name="node_offset" type="seL4_Word"/>
-			<param dir="in" name="num_objects" type="seL4_Word"/>
-		</method>
-	</interface>
+            <param dir="in" name="size_bits" type="seL4_Word"/>
+            <param dir="in" name="root" type="seL4_CNode"/>
+            <param dir="in" name="node_index" type="seL4_Word"/>
+            <param dir="in" name="node_depth" type="seL4_Word"/>
+            <param dir="in" name="node_offset" type="seL4_Word"/>
+            <param dir="in" name="num_objects" type="seL4_Word"/>
+        </method>
+    </interface>
     <interface name="seL4_TCB">
-		<method id="TCBReadRegisters" name="ReadRegisters">
-			<param dir="in" name="suspend_source" type="seL4_Bool"/>
-			<param dir="in" name="arch_flags" type="seL4_Uint8"/>
-			<param dir="in" name="count" type="seL4_Word"/>
-			<param dir="out" name="regs" type="seL4_UserContext"/>
-		</method>
-		<method id="TCBWriteRegisters" name="WriteRegisters">
-			<param dir="in" name="resume_target" type="seL4_Bool"/>
-			<param dir="in" name="arch_flags" type="seL4_Uint8"/>
-			<param dir="in" name="count" type="seL4_Word"/>
-			<param dir="in" name="regs" type="seL4_UserContext"/>
-		</method>
-		<method id="TCBCopyRegisters" name="CopyRegisters">
-			<param dir="in" name="source" type="seL4_TCB"/>
-			<param dir="in" name="suspend_source" type="seL4_Bool"/>
-			<param dir="in" name="resume_target" type="seL4_Bool"/>
-			<param dir="in" name="transfer_frame" type="seL4_Bool"/>
-			<param dir="in" name="transfer_integer" type="seL4_Bool"/>
-			<param dir="in" name="arch_flags" type="seL4_Uint8"/>
-		</method>
-		<method id="TCBConfigure" name="Configure">
-			<param dir="in" name="fault_ep" type="seL4_Word"/>
-			<param dir="in" name="priority" type="seL4_PrioProps_t"/>
-			<param dir="in" name="cspace_root" type="seL4_CNode"/>
-			<param dir="in" name="cspace_root_data" type="seL4_CapData_t"/>
-			<param dir="in" name="vspace_root" type="seL4_CNode"/>
-			<param dir="in" name="vspace_root_data" type="seL4_CapData_t"/>
-			<param dir="in" name="buffer" type="seL4_Word"/>
-			<param dir="in" name="bufferFrame" type="seL4_CPtr"/>
-		</method>
-		<method id="TCBSetPriority" name="SetPriority">
-			<param dir="in" name="priority" type="seL4_Uint8"/>
-		</method>
-		<method id="TCBSetMCPriority" name="SetMCPriority">
-			<param dir="in" name="mcc" type="seL4_Uint8"/>
-		</method>
-		<method id="TCBSetIPCBuffer" name="SetIPCBuffer">
-			<param dir="in" name="buffer" type="seL4_Word"/>
-			<param dir="in" name="bufferFrame" type="seL4_CPtr"/>
-		</method>
-		<method id="TCBSetSpace" name="SetSpace">
-			<param dir="in" name="fault_ep" type="seL4_Word"/>
-			<param dir="in" name="cspace_root" type="seL4_CNode"/>
-			<param dir="in" name="cspace_root_data" type="seL4_CapData_t"/>
-			<param dir="in" name="vspace_root" type="seL4_CNode"/>
-			<param dir="in" name="vspace_root_data" type="seL4_CapData_t"/>
-		</method>
-		<method id="TCBSuspend" name="Suspend"/>
-		<method id="TCBResume" name="Resume"/>
-		<method id="TCBBindNotification" name="BindNotification">
-			<param dir="in" name="notification" type="seL4_CPtr"/>
-		</method>
-		<method id="TCBUnbindNotification" name="UnbindNotification"/>
+        <method id="TCBReadRegisters" name="ReadRegisters">
+            <param dir="in" name="suspend_source" type="seL4_Bool"/>
+            <param dir="in" name="arch_flags" type="seL4_Uint8"/>
+            <param dir="in" name="count" type="seL4_Word"/>
+            <param dir="out" name="regs" type="seL4_UserContext"/>
+        </method>
+        <method id="TCBWriteRegisters" name="WriteRegisters">
+            <param dir="in" name="resume_target" type="seL4_Bool"/>
+            <param dir="in" name="arch_flags" type="seL4_Uint8"/>
+            <param dir="in" name="count" type="seL4_Word"/>
+            <param dir="in" name="regs" type="seL4_UserContext"/>
+        </method>
+        <method id="TCBCopyRegisters" name="CopyRegisters">
+            <param dir="in" name="source" type="seL4_TCB"/>
+            <param dir="in" name="suspend_source" type="seL4_Bool"/>
+            <param dir="in" name="resume_target" type="seL4_Bool"/>
+            <param dir="in" name="transfer_frame" type="seL4_Bool"/>
+            <param dir="in" name="transfer_integer" type="seL4_Bool"/>
+            <param dir="in" name="arch_flags" type="seL4_Uint8"/>
+        </method>
+        <method id="TCBConfigure" name="Configure">
+            <param dir="in" name="fault_ep" type="seL4_Word"/>
+            <param dir="in" name="priority" type="seL4_PrioProps_t"/>
+            <param dir="in" name="cspace_root" type="seL4_CNode"/>
+            <param dir="in" name="cspace_root_data" type="seL4_CapData_t"/>
+            <param dir="in" name="vspace_root" type="seL4_CNode"/>
+            <param dir="in" name="vspace_root_data" type="seL4_CapData_t"/>
+            <param dir="in" name="buffer" type="seL4_Word"/>
+            <param dir="in" name="bufferFrame" type="seL4_CPtr"/>
+        </method>
+        <method id="TCBSetPriority" name="SetPriority">
+            <param dir="in" name="priority" type="seL4_Uint8"/>
+        </method>
+        <method id="TCBSetMCPriority" name="SetMCPriority">
+            <param dir="in" name="mcc" type="seL4_Uint8"/>
+        </method>
+        <method id="TCBSetIPCBuffer" name="SetIPCBuffer">
+            <param dir="in" name="buffer" type="seL4_Word"/>
+            <param dir="in" name="bufferFrame" type="seL4_CPtr"/>
+        </method>
+        <method id="TCBSetSpace" name="SetSpace">
+            <param dir="in" name="fault_ep" type="seL4_Word"/>
+            <param dir="in" name="cspace_root" type="seL4_CNode"/>
+            <param dir="in" name="cspace_root_data" type="seL4_CapData_t"/>
+            <param dir="in" name="vspace_root" type="seL4_CNode"/>
+            <param dir="in" name="vspace_root_data" type="seL4_CapData_t"/>
+        </method>
+        <method id="TCBSuspend" name="Suspend"/>
+        <method id="TCBResume" name="Resume"/>
+        <method id="TCBBindNotification" name="BindNotification">
+            <param dir="in" name="notification" type="seL4_CPtr"/>
+        </method>
+        <method id="TCBUnbindNotification" name="UnbindNotification"/>
         <method id="TCBSetAffinity" name="SetAffinity" condition="CONFIG_MAX_NUM_NODES > 1">
             <param dir="in" name="affinity" type="seL4_Word"/>
         </method>
@@ -103,88 +103,88 @@
             <param dir="in" name="num_instructions" type="seL4_Word"/>
             <param dir="out" name="bp_was_consumed" type="seL4_Bool"/>
         </method>
-	</interface>
-	<interface name="seL4_CNode">
+    </interface>
+    <interface name="seL4_CNode">
         <method id="CNodeRevoke" name="Revoke">
-			<param dir="in" name="index" type="seL4_Word"/>
-			<param dir="in" name="depth" type="seL4_Uint8"/>
-		</method>
-		<method id="CNodeDelete" name="Delete">
-			<param dir="in" name="index" type="seL4_Word"/>
-			<param dir="in" name="depth" type="seL4_Uint8"/>
-		</method>
+            <param dir="in" name="index" type="seL4_Word"/>
+            <param dir="in" name="depth" type="seL4_Uint8"/>
+        </method>
+        <method id="CNodeDelete" name="Delete">
+            <param dir="in" name="index" type="seL4_Word"/>
+            <param dir="in" name="depth" type="seL4_Uint8"/>
+        </method>
         <method id="CNodeCancelBadgedSends" name="CancelBadgedSends">
             <param dir="in" name="index" type="seL4_Word"/>
             <param dir="in" name="depth" type="seL4_Uint8"/>
         </method>
         <method id="CNodeCopy" name="Copy">
-			<param dir="in" name="dest_index" type="seL4_Word"/>
-			<param dir="in" name="dest_depth" type="seL4_Uint8"/>
-			<param dir="in" name="src_root" type="seL4_CNode"/>
-			<param dir="in" name="src_index" type="seL4_Word"/>
-			<param dir="in" name="src_depth" type="seL4_Uint8"/>
-			<param dir="in" name="rights" type="seL4_CapRights_t"/>
-		</method>
-		<method id="CNodeMint" name="Mint">
-			<param dir="in" name="dest_index" type="seL4_Word"/>
-			<param dir="in" name="dest_depth" type="seL4_Uint8"/>
-			<param dir="in" name="src_root" type="seL4_CNode"/>
-			<param dir="in" name="src_index" type="seL4_Word"/>
-			<param dir="in" name="src_depth" type="seL4_Uint8"/>
-			<param dir="in" name="rights" type="seL4_CapRights_t"/>
-			<param dir="in" name="badge" type="seL4_CapData_t"/>
-		</method>
-		<method id="CNodeMove" name="Move">
-			<param dir="in" name="dest_index" type="seL4_Word"/>
-			<param dir="in" name="dest_depth" type="seL4_Uint8"/>
-			<param dir="in" name="src_root" type="seL4_CNode"/>
-			<param dir="in" name="src_index" type="seL4_Word"/>
-			<param dir="in" name="src_depth" type="seL4_Uint8"/>
-		</method>
-		<method id="CNodeMutate" name="Mutate">
-			<param dir="in" name="dest_index" type="seL4_Word"/>
-			<param dir="in" name="dest_depth" type="seL4_Uint8"/>
-			<param dir="in" name="src_root" type="seL4_CNode"/>
-			<param dir="in" name="src_index" type="seL4_Word"/>
-			<param dir="in" name="src_depth" type="seL4_Uint8"/>
-			<param dir="in" name="badge" type="seL4_CapData_t"/>
-		</method>
-		<method id="CNodeRotate" name="Rotate">
-			<param dir="in" name="dest_index" type="seL4_Word"/>
-			<param dir="in" name="dest_depth" type="seL4_Uint8"/>
-			<param dir="in" name="dest_badge" type="seL4_CapData_t"/>
-			<param dir="in" name="pivot_root" type="seL4_CNode"/>
-			<param dir="in" name="pivot_index" type="seL4_Word"/>
-			<param dir="in" name="pivot_depth" type="seL4_Uint8"/>
-			<param dir="in" name="pivot_badge" type="seL4_CapData_t"/>
-			<param dir="in" name="src_root" type="seL4_CNode"/>
-			<param dir="in" name="src_index" type="seL4_Word"/>
-			<param dir="in" name="src_depth" type="seL4_Uint8"/>
-		</method>
-		<method id="CNodeSaveCaller" name="SaveCaller">
-			<param dir="in" name="index" type="seL4_Word"/>
-			<param dir="in" name="depth" type="seL4_Uint8"/>
-		</method>
-	</interface>
-    <interface name="seL4_IRQControl">
-		<method id="IRQIssueIRQHandler" name="Get">
-			<param dir="in" name="irq" type="int"/>
-			<param dir="in" name="root" type="seL4_CNode"/>
-			<param dir="in" name="index" type="seL4_Word"/>
-			<param dir="in" name="depth" type="seL4_Uint8"/>
+            <param dir="in" name="dest_index" type="seL4_Word"/>
+            <param dir="in" name="dest_depth" type="seL4_Uint8"/>
+            <param dir="in" name="src_root" type="seL4_CNode"/>
+            <param dir="in" name="src_index" type="seL4_Word"/>
+            <param dir="in" name="src_depth" type="seL4_Uint8"/>
+            <param dir="in" name="rights" type="seL4_CapRights_t"/>
         </method>
-	</interface>
+        <method id="CNodeMint" name="Mint">
+            <param dir="in" name="dest_index" type="seL4_Word"/>
+            <param dir="in" name="dest_depth" type="seL4_Uint8"/>
+            <param dir="in" name="src_root" type="seL4_CNode"/>
+            <param dir="in" name="src_index" type="seL4_Word"/>
+            <param dir="in" name="src_depth" type="seL4_Uint8"/>
+            <param dir="in" name="rights" type="seL4_CapRights_t"/>
+            <param dir="in" name="badge" type="seL4_CapData_t"/>
+        </method>
+        <method id="CNodeMove" name="Move">
+            <param dir="in" name="dest_index" type="seL4_Word"/>
+            <param dir="in" name="dest_depth" type="seL4_Uint8"/>
+            <param dir="in" name="src_root" type="seL4_CNode"/>
+            <param dir="in" name="src_index" type="seL4_Word"/>
+            <param dir="in" name="src_depth" type="seL4_Uint8"/>
+        </method>
+        <method id="CNodeMutate" name="Mutate">
+            <param dir="in" name="dest_index" type="seL4_Word"/>
+            <param dir="in" name="dest_depth" type="seL4_Uint8"/>
+            <param dir="in" name="src_root" type="seL4_CNode"/>
+            <param dir="in" name="src_index" type="seL4_Word"/>
+            <param dir="in" name="src_depth" type="seL4_Uint8"/>
+            <param dir="in" name="badge" type="seL4_CapData_t"/>
+        </method>
+        <method id="CNodeRotate" name="Rotate">
+            <param dir="in" name="dest_index" type="seL4_Word"/>
+            <param dir="in" name="dest_depth" type="seL4_Uint8"/>
+            <param dir="in" name="dest_badge" type="seL4_CapData_t"/>
+            <param dir="in" name="pivot_root" type="seL4_CNode"/>
+            <param dir="in" name="pivot_index" type="seL4_Word"/>
+            <param dir="in" name="pivot_depth" type="seL4_Uint8"/>
+            <param dir="in" name="pivot_badge" type="seL4_CapData_t"/>
+            <param dir="in" name="src_root" type="seL4_CNode"/>
+            <param dir="in" name="src_index" type="seL4_Word"/>
+            <param dir="in" name="src_depth" type="seL4_Uint8"/>
+        </method>
+        <method id="CNodeSaveCaller" name="SaveCaller">
+            <param dir="in" name="index" type="seL4_Word"/>
+            <param dir="in" name="depth" type="seL4_Uint8"/>
+        </method>
+    </interface>
+    <interface name="seL4_IRQControl">
+        <method id="IRQIssueIRQHandler" name="Get">
+            <param dir="in" name="irq" type="int"/>
+            <param dir="in" name="root" type="seL4_CNode"/>
+            <param dir="in" name="index" type="seL4_Word"/>
+            <param dir="in" name="depth" type="seL4_Uint8"/>
+        </method>
+    </interface>
     <interface name="seL4_IRQHandler">
         <method id="IRQAckIRQ" name="Ack"/>
         <method id="IRQSetIRQHandler" name="SetNotification">
-			<param dir="in" name="notification" type="seL4_CPtr"/>
+            <param dir="in" name="notification" type="seL4_CPtr"/>
+        </method>
+        <method id="IRQClearIRQHandler" name="Clear"/>
+    </interface>
+    <interface name="seL4_DomainSet">
+        <method id="DomainSetSet" name="Set">
+            <param dir="in" name="domain" type="seL4_Uint8"/>
+            <param dir="in" name="thread" type="seL4_TCB"/>
         </method>
-		<method id="IRQClearIRQHandler" name="Clear"/>
     </interface>
-	<interface name="seL4_DomainSet">
-		<method id="DomainSetSet" name="Set">
-			<param dir="in" name="domain" type="seL4_Uint8"/>
-			<param dir="in" name="thread" type="seL4_TCB"/>
-		</method>
-	</interface>
 </api>