Merge remote-tracking branch 'origin/dev1' into dev

sf1a.c

+#include <stdio.h>
+#include <unistd.h>
+#include <sys/syscall.h>
+#include <sys/types.h>
+ 
+int main() {
+ 
+    unsigned cpu, node;
+ 
+    // Get current CPU core and NUMA node via system call
+    // Note this has no glibc wrapper so we must call it directly
+    syscall(SYS_getcpu, &cpu, &node, NULL);
+ 
+    // Display information
+    printf("This program is running on CPU core %u and NUMA node %u.\n\n", cpu, node);
+ 
+    return 0;
+ 
+}
+