Add script to create the kernel namespace header

This commit is contained in:
Sebastian Huber
2016-05-06 07:27:25 +02:00
parent ee9991f4c6
commit 0f5dd1cc38
6 changed files with 4324 additions and 581 deletions

View File

@@ -82,6 +82,8 @@ SYSCTL_INT(_kern_smp, OID_AUTO, maxid, CTLFLAG_RD|CTLFLAG_CAPRD,
SYSCTL_INT(_kern_smp, OID_AUTO, maxcpus, CTLFLAG_RD|CTLFLAG_CAPRD,
&maxid_maxcpus, 0, "Max number of CPUs that the system was compiled for.");
#undef _bsd_ticks
RTEMS_STATIC_ASSERT(sizeof(int) == sizeof(int32_t), ticks);
volatile uint32_t _Watchdog_Ticks_since_boot;