Update cmake build information for new-rt branch

This updates the cmake build information for new-rt branch specific changes

CMakeLists.txt

@@ -166,6 +166,8 @@ include_directories("include/arch/${KernelArch}")
 include_directories("include/arch/${KernelArch}/arch/${KernelWordSize}/")
 include_directories("include/plat/${KernelPlatform}/")
 include_directories("include/plat/${KernelPlatform}/plat/${KernelWordSize}/")
+include_directories("include/${KernelWordSize}/")
+
 if(KernelArchARM)
     include_directories("include/arch/arm/armv/${KernelArmArmV}/")
     include_directories("include/arch/arm/armv/${KernelArmArmV}/${KernelWordSize}")

config.cmake

@@ -15,7 +15,7 @@ cmake_minimum_required(VERSION 3.7.2)
 set(configure_string "")
 
 # Set kernel branch
-config_set(KernelIsMaster KERNEL_MASTER ON)
+config_set(KernelIsMCS KERNEL_RT ON)
 
 # Proof based configuration variables
 set(CSPEC_DIR "." CACHE PATH "")
@@ -70,9 +70,9 @@ config_string(KernelRootCNodeSizeBits ROOT_CNODE_SIZE_BITS
     UNQUOTE
 )
 
-config_string(KernelTimerTickMS TIMER_TICK_MS
-    "Timer tick period in milliseconds"
-    DEFAULT 2
+config_string(KernelBootThreadTimeSlice BOOT_THREAD_TIME_SLICE
+    "Number of milliseconds until the boot thread is preempted."
+    DEFAULT 5
     UNQUOTE
 )
 config_string(KernelTimeSlice TIME_SLICE
@@ -130,6 +130,17 @@ config_string(KernelStackBits KERNEL_STACK_BITS
     UNQUOTE
 )
 
+config_string(KernelWCETScale KERNEL_WCET_SCALE
+    "Multiplier to scale kernel WCET estimate by. \
+    The kernel WCET estimate is used to ensure a thread has enough budget \
+    to get in and out of the kernel. When running in a simulator the WCET \
+    estimate, which is tuned for hardware, may not be sufficient. This \
+    option provides a hacky knob that can be fiddled with when running \
+    inside a simulator."
+    DEFAULT 1
+    UNQUOTE
+)
+
 config_string(KernelFPUMaxRestoresSinceSwitch FPU_MAX_RESTORES_SINCE_SWITCH
     "This option is a heuristic to attempt to detect when the FPU is no longer in use,\
     allowing the kernel to save the FPU state out so that the FPU does not have to be\

src/config.cmake

@@ -25,6 +25,7 @@ add_sources(CFILES
     src/kernel/thread.c
     src/kernel/boot.c
     src/kernel/stack.c
+    src/kernel/sporadic.c
     src/object/notification.c
     src/object/cnode.c
     src/object/endpoint.c
@@ -32,6 +33,9 @@ add_sources(CFILES
     src/object/objecttype.c
     src/object/tcb.c
     src/object/untyped.c
+    src/object/schedcontext.c
+    src/object/reply.c
+    src/object/schedcontrol.c
     src/model/preemption.c
     src/model/statedata.c
     src/model/smp.c