Index: /trunk/platforms/tsar_generic_iob/arch.py
===================================================================
--- /trunk/platforms/tsar_generic_iob/arch.py	(revision 1004)
+++ /trunk/platforms/tsar_generic_iob/arch.py	(revision 1005)
@@ -344,5 +344,5 @@
     mapping.addGlobal( 'seg_kernel_data', kernel_data_vbase, kernel_data_size, 
                        'CXW_', vtype = 'ELF', x = 0, y = 0, pseg = 'RAM', 
-                       binpath = 'build/kernel/kernel.elf', 
+                       binpath = 'bin/kernel/kernel.elf', 
                        local = False, big = True )
 
@@ -354,5 +354,5 @@
                                kernel_code_vbase, kernel_code_size,
                                'CXW_', vtype = 'ELF', x = x , y = y , pseg = 'RAM',
-                               binpath = 'build/kernel/kernel.elf', 
+                               binpath = 'bin/kernel/kernel.elf', 
                                local = True, big = True )
 
@@ -360,5 +360,5 @@
                                kernel_init_vbase, kernel_init_size,
                                'CXW_', vtype = 'ELF', x = x , y = y , pseg = 'RAM',
-                               binpath = 'build/kernel/kernel.elf', 
+                               binpath = 'bin/kernel/kernel.elf', 
                                local = True, big = True )