1 files changed, 15 insertions, 0 deletions
diff --git a/misc/wscript b/misc/wscript
index cd31091..3458b19 100644
--- a/misc/wscript
+++ b/misc/wscript
@@ -70,5 +70,20 @@ def build(bld):
                 cflags = conf['cflags'] + conf['warningflags'],
                 linkflags = conf['linkflags'])
 
+    #
+    # Install the boot image code.
+    #
+    bld(features = 'py',
+        source = ['tools/boot.py',
+                  'tools/cmd-boot-image.py'],
+        install_from = '.',
+        install_path = '${PREFIX}/share/rtems')
+    bld.install_files('${PREFIX}/bin',
+                      ['rtems-boot-image'],
+                      chmod = 0o755)
+    bld.install_files('${PREFIX}/share/rtems/tools/config',
+                      'tools/rtems-boot.ini',
+                      relative_trick = True)
+
 def tags(ctx):
     ctx.exec_command('etags $(find . -name \*.[sSch])', shell = True)