diff options
author | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2009-03-10 23:52:46 +0000 |
---|---|---|
committer | patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3> | 2009-03-10 23:52:46 +0000 |
commit | b9648c396b1fae393e6a20c7ddd3debee89b5cb9 (patch) | |
tree | fb1a246ed2b1312e0abcd32f2f7447bdc1815573 /nuttx/tools | |
parent | 29bc7ab1359bd069c7a4909ed8694177d9482542 (diff) | |
download | px4-nuttx-b9648c396b1fae393e6a20c7ddd3debee89b5cb9.tar.gz px4-nuttx-b9648c396b1fae393e6a20c7ddd3debee89b5cb9.tar.bz2 px4-nuttx-b9648c396b1fae393e6a20c7ddd3debee89b5cb9.zip |
Repartition functionality in preparation for nested, pending reprioritization
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@1591 42af7a65-404d-4744-a932-0658087f49c3
Diffstat (limited to 'nuttx/tools')
-rw-r--r-- | nuttx/tools/mkconfig.c | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/nuttx/tools/mkconfig.c b/nuttx/tools/mkconfig.c index 071f0588a..82cff503b 100644 --- a/nuttx/tools/mkconfig.c +++ b/nuttx/tools/mkconfig.c @@ -1,7 +1,7 @@ /**************************************************************************** - * mkconfig.c + * tools/mkconfig.c * - * Copyright (C) 2007, 2008 Gregory Nutt. All rights reserved. + * Copyright (C) 2007-2009 Gregory Nutt. All rights reserved. * Author: Gregory Nutt <spudmonkey@racsa.co.cr> * * Redistribution and use in source and binary forms, with or without @@ -240,6 +240,17 @@ int main(int argc, char **argv, char **envp) printf("# define CONFIG_NFILE_STREAMS 3\n"); printf("# endif\n"); printf("#endif\n\n"); + printf("/* If priority inheritance is disabled, then do not allocate any\n"); + printf(" * associated resources.\n"); + printf(" */\n\n"); + printf("#if !defined(CONFIG_PROIRITY_INHERITANCE) || !defined(CONFIG_SEM_PREALLOCHOLDERSS)\n"); + printf("# undef CONFIG_SEM_PREALLOCHOLDERS\n"); + printf("# define CONFIG_SEM_PREALLOCHOLDERSS 0\n"); + printf("#endif\n\n"); + printf("#if !defined(CONFIG_PROIRITY_INHERITANCE) || !defined(CONFIG_SEM_NNESTPRIO)\n"); + printf("# undef CONFIG_SEM_NNESTPRIO\n"); + printf("# define CONFIG_SEM_NNESTPRIO 0\n"); + printf("#endif\n\n"); printf("/* If no file descriptors are configured, then make certain no\n"); printf(" * streams are configured either.\n"); printf(" */\n\n"); |