Gregory Nutt 949cc1b20c Fix a typo in system call when fetching parameter from the stack: regs[REG_PC]+4 is the address, not regs[REG_PC+4]		2014-09-15 10:55:10 -06:00
..
include	Initial integration of kernel stack (does not work)	2014-09-14 11:19:34 -06:00
src	Fix a typo in system call when fetching parameter from the stack: regs[REG_PC]+4 is the address, not regs[REG_PC+4]	2014-09-15 10:55:10 -06:00
Kconfig	Some initial clean-up in verifying the CONFIG_BUILD_PROTECTED configuration change	2014-08-29 15:07:35 -06:00