diff options
author | Chris Johns <chrisj@rtems.org> | 2016-03-18 10:50:59 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-03-18 10:50:59 +1100 |
commit | 07eef425f18d11205ed4a76b717250f98fed6bac (patch) | |
tree | 708729ad2c497eecc5f12bd6c4504f3410d9db94 /rtems/config/tools/rtems-kernel-4.12.cfg | |
parent | rtems/kernel: Move the --with-rtems logic in the common file. (diff) | |
download | rtems-source-builder-07eef425f18d11205ed4a76b717250f98fed6bac.tar.bz2 |
4.12/rtems-kernel: Add default support to build a kernel if asked too.
Diffstat (limited to 'rtems/config/tools/rtems-kernel-4.12.cfg')
-rw-r--r-- | rtems/config/tools/rtems-kernel-4.12.cfg | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/rtems/config/tools/rtems-kernel-4.12.cfg b/rtems/config/tools/rtems-kernel-4.12.cfg new file mode 100644 index 0000000..a841d63 --- /dev/null +++ b/rtems/config/tools/rtems-kernel-4.12.cfg @@ -0,0 +1,8 @@ +# +# RTEMS 4.12 +# + + # + # The RTEMS build instructions. We use 4.xx Release 1. + # +%include tools/rtems-kernel-4-1.cfg |