diff options
Diffstat (limited to 'rtems/config/4.12/rtems-default.bset')
| -rw-r--r-- | rtems/config/4.12/rtems-default.bset | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtems/config/4.12/rtems-default.bset b/rtems/config/4.12/rtems-default.bset index 0083e6a..48092c4 100644 --- a/rtems/config/4.12/rtems-default.bset +++ b/rtems/config/4.12/rtems-default.bset @@ -6,3 +6,4 @@ tools/rtems-binutils-2.26-1 tools/rtems-gcc-6-20160228-newlib-2.3.0.20160226-1 tools/rtems-gdb-7.11-1 tools/rtems-tools-4.12-1 +tools/rtems-kernel-4.12 |