This is an automated email from the ASF dual-hosted git repository.
gustavonihei pushed a change to branch master
in repository https://gitbox.apache.org/repos/asf/incubator-nuttx.git.
from 65db787 esp32_irq.c: Fix retrieving IRQ number and peripheral ID when
it comes to GPIOs in SMP mode.
add d2b693a sched: Move g_tcbinfo to include/nuttx/sched.h
No new revisions were added by this update.
Summary of changes:
fs/procfs/fs_procfstcbinfo.c | 2 --
include/nuttx/sched.h | 4 ++++
2 files changed, 4 insertions(+), 2 deletions(-)
