Merge branch 'master' of github.com:gwsystems/sledge-serverless-framework into preemptable-debugging

Makefile

@@ -12,7 +12,7 @@ ifeq ($(ARCH),x86_64)
 	cd ./awsm/wasmception && wget ${WASMCEPTION_URL} -O wasmception.tar.gz && tar xvfz wasmception.tar.gz && rm wasmception.tar.gz
 endif
 	test -f ./${COMPILER}/wasmception/dist/bin/clang || make -C ${COMPILER}/wasmception
-	@cd ${COMPILER} && cargo build --release && cd ${ROOT}
+	@cd ${COMPILER} && RUSTUP_TOOLCHAIN=stable cargo build --release && cd ${ROOT}
 
 # Sanity check that the aWsm compiler built and is in our PATH
 .PHONY: build-validate

devenv.sh

@@ -103,7 +103,7 @@ envsetup() {
 
 	# Execute the make install command on the sledge-dev image to build the project
 	echo "Building ${SYS_NAME}"
-	docker exec \
+	docker exec -u 0 \
 		--tty \
 		--workdir "${HOST_SYS_MOUNT}" \
 		${SYS_DOC_DEVNAME} make install
@@ -144,7 +144,7 @@ envrun() {
 	fi
 
 	echo "Running shell"
-	docker exec --tty --interactive --workdir "${HOST_SYS_MOUNT}" ${SYS_DOC_NAME} /bin/bash
+	docker exec -u 0 --tty --interactive --workdir "${HOST_SYS_MOUNT}" ${SYS_DOC_NAME} /bin/bash
 }
 
 # Stops and removes the sledge "runtime" container

runtime/src/generic_thread.c

@@ -4,6 +4,9 @@
 #include "arch/getcycles.h"
 #include "debuglog.h"
 
+extern uint32_t                     runtime_processor_speed_MHz;
+extern uint32_t                     runtime_quantum_us;
+
 /* Implemented by listener and workers */
 
 thread_local uint64_t generic_thread_lock_duration   = 0;