sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

configs/sim/nsh/defconfig -- refresh, enable wall-time, dow builds natively in 64-bit mode

Browse Source
This commit is contained in:
Gregory Nutt 2014-10-03 08:44:42 -06:00
parent ef27dd6ee8
commit ec2193f506
3 changed files with 15 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
arch/sim/include/irq.h
View File

@ -82,7 +82,7 @@ struct xcptcontext
{
void *sigdeliver; /* Actual type is sig_deliver_t */
xcpt_reg_t regs[6];
xcpt_reg_t regs[XCPTCONTEXT_REGS];
};
#endif
@ -111,7 +111,8 @@ static inline void irqrestore(irqstate_t flags)
#ifdef __cplusplus
#define EXTERN extern "C"
extern "C" {
extern "C"
{
#else
#define EXTERN extern
#endif

4
arch/sim/src/up_internal.h
View File

@ -118,8 +118,8 @@
/* Compatibility definitions */
# define JB_SP JB_RSI
# define JB_PC JB_RSP
# define JB_SP JB_RSP
# define JB_PC JB_RSI
#else
/* Storage order: %ebx, $esi, %edi, %ebp, sp, and return PC */

12
configs/sim/nsh/defconfig
View File

@ -67,10 +67,11 @@ CONFIG_ARCH="sim"
#
# Simulation Configuration Options
#
CONFIG_SIM_M32=y
CONFIG_HOST_X86_64=y
# CONFIG_HOST_X86 is not set
# CONFIG_SIM_WALLTIME is not set
# CONFIG_SIM_M32 is not set
CONFIG_SIM_WALLTIME=y
# CONFIG_SIM_SPIFLASH is not set
#
# Architecture Options
@ -168,6 +169,9 @@ CONFIG_PREALLOC_TIMERS=8
#
# Tasks and Scheduling
#
# CONFIG_INIT_NONE is not set
CONFIG_INIT_ENTRYPOINT=y
# CONFIG_INIT_FILEPATH is not set
CONFIG_USER_ENTRYPOINT="nsh_main"
CONFIG_RR_INTERVAL=0
CONFIG_TASK_NAME_SIZE=32
@ -340,6 +344,8 @@ CONFIG_SERIAL=y
# CONFIG_DISABLE_PSEUDOFS_OPERATIONS is not set
CONFIG_FS_READABLE=y
CONFIG_FS_WRITABLE=y
# CONFIG_FS_NAMED_SEMAPHORES is not set
CONFIG_FS_MQUEUE_MPATH="/var/mqueue"
# CONFIG_FS_RAMMAP is not set
CONFIG_FS_FAT=y
CONFIG_FAT_LCNAMES=y
@ -619,7 +625,9 @@ CONFIG_NSH_ROMFSMOUNTPT="/etc"
CONFIG_NSH_INITSCRIPT="init.d/rcS"
CONFIG_NSH_ROMFSDEVNO=1
CONFIG_NSH_ROMFSSECTSIZE=64
CONFIG_NSH_DEFAULTROMFS=y
# CONFIG_NSH_ARCHROMFS is not set
# CONFIG_NSH_CUSTOMROMFS is not set
CONFIG_NSH_FATDEVNO=2
CONFIG_NSH_FATSECTSIZE=512
CONFIG_NSH_FATNSECTORS=1024