bak

userland/anonymous_inode.c

@@ -1,46 +0,0 @@
-/* https://github.com/cirosantilli/linux-kernel-module-cheat#anonymous-inode */
-
-#define _GNU_SOURCE
-#include <errno.h>
-#include <fcntl.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <sys/ioctl.h>
-#include <sys/stat.h>
-#include <sys/types.h>
-#include <unistd.h> /* sleep */
-
-#include "../include/anonymous_inode.h"
-
-int main(int argc, char **argv)
-{
-	char buf[1024];
-	int fd_ioctl, fd_ioctl_anon, ret;
-	size_t i, nreads;
-
-	if (argc < 2) {
-		puts("Usage: ./prog <ioctl-file> [<nreads>]");
-		return EXIT_FAILURE;
-	} else if (argc > 2) {
-		nreads = strtol(argv[2], NULL, 10);
-	} else {
-		nreads = 3;
-	}
-	fd_ioctl = open(argv[1], O_RDONLY);
-	if (fd_ioctl == -1) {
-		perror("open");
-		return EXIT_FAILURE;
-	}
-	ret = ioctl(fd_ioctl, LKMC_ANONYMOUS_INODE_GET_FD, &fd_ioctl_anon);
-	if (ret == -1) {
-		perror("ioctl");
-		return EXIT_FAILURE;
-	}
-	for (i = 0; i < nreads; ++i) {
-		ret = read(fd_ioctl_anon, buf, sizeof(buf));
-		printf("%.*s\n", ret, buf);
-	}
-	close(fd_ioctl_anon);
-	close(fd_ioctl);
-	return EXIT_SUCCESS;
-}

userland/arch/aarch64/common_arch.h

@@ -5,13 +5,13 @@
 
 #define ASSERT_EQ(reg, const) \
     ldr x11, =const; \
-	cmp reg, x11; \
-	ASSERT(beq); \
+    cmp reg, x11; \
+    ASSERT(beq); \
 ;
 
 #define ASSERT_MEMCMP(s1, s2, n) \
-	MEMCMP(s1, s2, n); \
-	ASSERT_EQ(x0, 0); \
+    MEMCMP(s1, s2, n); \
+    ASSERT_EQ(x0, 0); \
 ;
 
 #define ENTRY \

userland/arch/arm/common_arch.h

@@ -12,14 +12,14 @@
  */
 #define ASSERT_EQ(reg, const) \
     ldr r11, =const; \
-	cmp reg, r11; \
-	ASSERT(beq); \
+    cmp reg, r11; \
+    ASSERT(beq); \
 ;
 
 /* Assert that two arrays are the same. */
 #define ASSERT_MEMCMP(s1, s2, n) \
-	MEMCMP(s1, s2, n); \
-	ASSERT_EQ(r0, 0); \
+    MEMCMP(s1, s2, n); \
+    ASSERT_EQ(r0, 0); \
 ;
 
 /* Store all callee saved registers, and LR in case we make further BL calls.

userland/arch/common.h

@@ -23,8 +23,8 @@
 
 /* Assert that a register equals another register. */
 #define ASSERT_EQ_REG(reg1, reg2) \
-	cmp reg1, reg2; \
-	ASSERT(beq); \
+    cmp reg1, reg2; \
+    ASSERT(beq); \
 ;
 
 #endif

userland/arch/x86_64/c/binutils_hack.c

@@ -5,16 +5,16 @@
 
 int main(void) {
 #if 0
-	uint64_t in = 0xFFFFFFFF;
-	uint64_t out = 0;
-	__asm__ (
-		"mov %[in], %%rax;"
-		"myinc %%rax;"
-		"movq %%rax, %[out]"
-		: [out] "=g" (out)
-		: [in] "g" (in)
-		: "rax"
-	);
-	assert(out == in + 1);
+    uint64_t in = 0xFFFFFFFF;
+    uint64_t out = 0;
+    __asm__ (
+        "mov %[in], %%rax;"
+        "myinc %%rax;"
+        "movq %%rax, %[out]"
+        : [out] "=g" (out)
+        : [in] "g" (in)
+        : "rax"
+    );
+    assert(out == in + 1);
 #endif
 }

userland/arch/x86_64/c/binutils_nohack.c

@@ -4,15 +4,15 @@
 #include <inttypes.h>
 
 int main(void) {
-	uint64_t in = 0xFFFFFFFF;
-	uint64_t out = 0;
-	__asm__ (
-		"mov %[in], %%rax;"
-		"inc %%rax;"
-		"movq %%rax, %[out]"
-		: [out] "=g" (out)
-		: [in] "g" (in)
-		: "rax"
-	);
-	assert(out == in + 1);
+    uint64_t in = 0xFFFFFFFF;
+    uint64_t out = 0;
+    __asm__ (
+        "mov %[in], %%rax;"
+        "inc %%rax;"
+        "movq %%rax, %[out]"
+        : [out] "=g" (out)
+        : [in] "g" (in)
+        : "rax"
+    );
+    assert(out == in + 1);
 }

userland/bst_vs_heap.cpp

@@ -29,16 +29,16 @@ int main(int argc, char **argv) {
     }
     std::shuffle(randoms.begin(), randoms.end(), std::mt19937(seed));
     for (i = 0; i < n; ++i) {
-    	auto random = randoms[i];
+        auto random = randoms[i];
 
         // Heap.
-		m5_resetstats();
-		heap.emplace(random);
-		m5_dumpstats();
+        m5_resetstats();
+        heap.emplace(random);
+        m5_dumpstats();
 
         // BST.
-		m5_resetstats();
-		bst.insert(random);
-		m5_dumpstats();
+        m5_resetstats();
+        bst.insert(random);
+        m5_dumpstats();
     }
 }

userland/c/false.c

@@ -13,5 +13,5 @@ int main(int argc, char **argv) {
     } else {
         ret = strtoull(argv[1], NULL, 0);
     }
-	return ret;
+    return ret;
 }

userland/c/hello.c

@@ -4,6 +4,6 @@
 #include <stdlib.h>
 
 int main(void) {
-	puts("hello");
-	return EXIT_SUCCESS;
+    puts("hello");
+    return EXIT_SUCCESS;
 }

userland/c/print_argv.c

@@ -0,0 +1,14 @@
+/* Print each command line argument received, one per line.
+ *
+ * Good sanity check for user mode:
+ * https://github.com/cirosantilli/linux-kernel-module-cheat#qemu-user-mode-getting-started
+ */
+
+#include <stdio.h>
+
+int main(int argc, char **argv) {
+    size_t i;
+    for (i = 0; i < (size_t)argc; ++i)
+        printf("%s\n", argv[i]);
+    return 0;
+}

userland/common.h

@@ -26,8 +26,7 @@ typedef struct {
  * @param[in]  vaddr      virtual address to get entry for
  * @return                0 for success, 1 for failure
  */
-int pagemap_get_entry(PagemapEntry *entry, int pagemap_fd, uintptr_t vaddr)
-{
+int pagemap_get_entry(PagemapEntry *entry, int pagemap_fd, uintptr_t vaddr) {
     size_t nread;
     ssize_t ret;
     uint64_t data;
@@ -62,8 +61,7 @@ int pagemap_get_entry(PagemapEntry *entry, int pagemap_fd, uintptr_t vaddr)
  * @param[in]  vaddr virtual address to get entry for
  * @return           0 for success, 1 for failure
  */
-int virt_to_phys_user(uintptr_t *paddr, pid_t pid, uintptr_t vaddr)
-{
+int virt_to_phys_user(uintptr_t *paddr, pid_t pid, uintptr_t vaddr) {
     char pagemap_file[BUFSIZ];
     int pagemap_fd;
 

userland/init_env_poweroff.c

@@ -1,26 +0,0 @@
-#define _XOPEN_SOURCE 700
-#include <stdio.h>
-#include <sys/reboot.h>
-#include <unistd.h>
-
-int main(int argc, char **argv)
-{
-	int i;
-
-	puts("args:");
-	for (i = 0; i < argc; ++i)
-		puts(argv[i]);
-	puts("");
-
-	puts("env:");
-	extern char **environ;
-	char **env = environ;
-	while (*env) {
-		printf("%s\n", *env);
-		env++;
-	}
-	puts("");
-
-	/* Poweroff. */
-	reboot(RB_POWER_OFF);
-}

userland/ioctl.c

@@ -1,67 +0,0 @@
-/* https://github.com/cirosantilli/linux-kernel-module-cheat#ioctl */
-
-#define _GNU_SOURCE
-#include <errno.h>
-#include <fcntl.h>
-#include <stdio.h>
-#include <stdlib.h>
-#include <sys/ioctl.h>
-#include <sys/stat.h>
-#include <sys/types.h>
-#include <unistd.h>
-
-#include "../include/ioctl.h"
-
-int main(int argc, char **argv)
-{
-	char *ioctl_path;
-	int fd, request, arg0, arg1, arg_int, ret;
-	lkmc_ioctl_struct arg_struct;
-
-	if (argc < 2) {
-		puts("Usage: ./prog <ioctl-file> <request> [<arg>...]");
-		return EXIT_FAILURE;
-	}
-	ioctl_path = argv[1];
-	request = strtol(argv[2], NULL, 10);
-	if (argc > 3) {
-		arg0 = strtol(argv[3], NULL, 10);
-	}
-	if (argc > 4) {
-		arg1 = strtol(argv[4], NULL, 10);
-	}
-
-	fd = open(ioctl_path, O_RDONLY);
-	if (fd == -1) {
-		perror("open");
-		return EXIT_FAILURE;
-	}
-	switch (request)
-	{
-		case 0:
-			arg_int = arg0;
-			ret = ioctl(fd, LKMC_IOCTL_INC, &arg_int);
-			if (ret != -1) {
-				printf("%d\n", arg_int);
-			}
-			break;
-		case 1:
-			arg_struct.i = arg0;
-			arg_struct.j = arg1;
-			ret = ioctl(fd, LKMC_IOCTL_INC_DEC, &arg_struct);
-			if (ret != -1) {
-				printf("%d %d\n", arg_struct.i, arg_struct.j);
-			}
-			break;
-		default:
-			puts("error: unknown request");
-			return EXIT_FAILURE;
-	}
-	if (ret == -1) {
-		perror("ioctl");
-		printf("errno = %d\n", errno);
-		return EXIT_FAILURE;
-	}
-	close(fd);
-	return EXIT_SUCCESS;
-}

userland/kernel_modules/anonymous_inode.c

@@ -0,0 +1,45 @@
+/* https://github.com/cirosantilli/linux-kernel-module-cheat#anonymous-inode */
+
+#define _GNU_SOURCE
+#include <errno.h>
+#include <fcntl.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <sys/ioctl.h>
+#include <sys/stat.h>
+#include <sys/types.h>
+#include <unistd.h> /* sleep */
+
+#include <include/anonymous_inode.h>
+
+int main(int argc, char **argv) {
+    char buf[1024];
+    int fd_ioctl, fd_ioctl_anon, ret;
+    size_t i, nreads;
+
+    if (argc < 2) {
+        puts("Usage: ./prog <ioctl-file> [<nreads>]");
+        return EXIT_FAILURE;
+    } else if (argc > 2) {
+        nreads = strtol(argv[2], NULL, 10);
+    } else {
+        nreads = 3;
+    }
+    fd_ioctl = open(argv[1], O_RDONLY);
+    if (fd_ioctl == -1) {
+        perror("open");
+        return EXIT_FAILURE;
+    }
+    ret = ioctl(fd_ioctl, LKMC_ANONYMOUS_INODE_GET_FD, &fd_ioctl_anon);
+    if (ret == -1) {
+        perror("ioctl");
+        return EXIT_FAILURE;
+    }
+    for (i = 0; i < nreads; ++i) {
+        ret = read(fd_ioctl_anon, buf, sizeof(buf));
+        printf("%.*s\n", ret, buf);
+    }
+    close(fd_ioctl_anon);
+    close(fd_ioctl);
+    return EXIT_SUCCESS;
+}

userland/kernel_modules/ioctl.c

@@ -0,0 +1,66 @@
+/* https://github.com/cirosantilli/linux-kernel-module-cheat#ioctl */
+
+#define _GNU_SOURCE
+#include <errno.h>
+#include <fcntl.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <sys/ioctl.h>
+#include <sys/stat.h>
+#include <sys/types.h>
+#include <unistd.h>
+
+#include <include/ioctl.h>
+
+int main(int argc, char **argv) {
+    char *ioctl_path;
+    int fd, request, arg0, arg1, arg_int, ret;
+    lkmc_ioctl_struct arg_struct;
+
+    if (argc < 2) {
+        puts("Usage: ./prog <ioctl-file> <request> [<arg>...]");
+        return EXIT_FAILURE;
+    }
+    ioctl_path = argv[1];
+    request = strtol(argv[2], NULL, 10);
+    if (argc > 3) {
+        arg0 = strtol(argv[3], NULL, 10);
+    }
+    if (argc > 4) {
+        arg1 = strtol(argv[4], NULL, 10);
+    }
+
+    fd = open(ioctl_path, O_RDONLY);
+    if (fd == -1) {
+        perror("open");
+        return EXIT_FAILURE;
+    }
+    switch (request)
+    {
+        case 0:
+            arg_int = arg0;
+            ret = ioctl(fd, LKMC_IOCTL_INC, &arg_int);
+            if (ret != -1) {
+                printf("%d\n", arg_int);
+            }
+            break;
+        case 1:
+            arg_struct.i = arg0;
+            arg_struct.j = arg1;
+            ret = ioctl(fd, LKMC_IOCTL_INC_DEC, &arg_struct);
+            if (ret != -1) {
+                printf("%d %d\n", arg_struct.i, arg_struct.j);
+            }
+            break;
+        default:
+            puts("error: unknown request");
+            return EXIT_FAILURE;
+    }
+    if (ret == -1) {
+        perror("ioctl");
+        printf("errno = %d\n", errno);
+        return EXIT_FAILURE;
+    }
+    close(fd);
+    return EXIT_SUCCESS;
+}

userland/kernel_modules/netlink.c

@@ -7,7 +7,7 @@
 #include <sys/socket.h>
 #include <unistd.h>
 
-#include "../include/netlink.h"
+#include <include/netlink.h>
 
 #define MAX_PAYLOAD 1024
 

userland/kernel_modules/poll.c

@@ -0,0 +1,41 @@
+/* https://github.com/cirosantilli/linux-kernel-module-cheat#poll */
+
+#define _XOPEN_SOURCE 700
+#include <assert.h>
+#include <fcntl.h> /* creat, O_CREAT */
+#include <poll.h> /* poll */
+#include <stdio.h> /* printf, puts, snprintf */
+#include <stdlib.h> /* EXIT_FAILURE, EXIT_SUCCESS */
+#include <unistd.h> /* read */
+
+int main(int argc, char **argv) {
+    char buf[1024];
+    int fd, i, n;
+    short revents;
+    struct pollfd pfd;
+
+    if (argc < 2) {
+        fprintf(stderr, "usage: %s <poll-device>\n", argv[0]);
+        exit(EXIT_FAILURE);
+    }
+    fd = open(argv[1], O_RDONLY | O_NONBLOCK);
+    if (fd == -1) {
+        perror("open");
+        exit(EXIT_FAILURE);
+    }
+    pfd.fd = fd;
+    pfd.events = POLLIN;
+    while (1) {
+        puts("loop");
+        i = poll(&pfd, 1, -1);
+        if (i == -1) {
+            perror("poll");
+            assert(0);
+        }
+        revents = pfd.revents;
+        if (revents & POLLIN) {
+            n = read(pfd.fd, buf, sizeof(buf));
+            printf("POLLIN n=%d buf=%.*s\n", n, n, buf);
+        }
+    }
+}

userland/kernel_modules/uio_read.c

@@ -16,8 +16,7 @@
 #include <assert.h>
 #include <sys/mman.h>
 
-int main(int argc, char **argv)
-{
+int main(int argc, char **argv) {
     char *dev = "/dev/uio0";
     if (argc > 1) {
         dev = argv[1];
@@ -30,12 +29,14 @@ int main(int argc, char **argv)
     }
 
     /* TODO not supported by this kernel module? */
-	/*int *addr = mmap(NULL, sysconf(_SC_PAGE_SIZE), PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);*/
-	/*if (addr == MAP_FAILED) {*/
-		/*perror("mmap");*/
-		/*assert(0);*/
-	/*}*/
-	/**addr = 0x12345678;*/
+#if 0
+    int *addr = mmap(NULL, sysconf(_SC_PAGE_SIZE), PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
+    if (addr == MAP_FAILED) {
+        perror("mmap");
+        assert(0);
+    }
+    *addr = 0x12345678;
+#endif
 
     while (1) {
         uint32_t info = 1;
@@ -66,8 +67,7 @@ int main(int argc, char **argv)
 #include <unistd.h>
 #include <unistd.h>
 
-int main(void)
-{
+int main(void) {
     int uiofd;
     int configfd;
     int err;

userland/libs/eigen/build

@@ -0,0 +1 @@
+../build

userland/libs/eigen/hello.cpp

@@ -1,13 +1,16 @@
 /* https://github.com/cirosantilli/linux-kernel-module-cheat#eigen
  * Adapted from: https://eigen.tuxfamily.org/dox/GettingStarted.html
  */
+
 #include <iostream>
+
 #include <Eigen/Dense>
+
 int main() {
-	Eigen::MatrixXd m(2,2);
-	m(0,0) = 3;
-	m(1,0) = 2.5;
-	m(0,1) = -1;
-	m(1,1) = m(1,0) + m(0,1);
-	std::cout << m << std::endl;
+    Eigen::MatrixXd m(2,2);
+    m(0,0) = 3;
+    m(1,0) = 2.5;
+    m(0,1) = -1;
+    m(1,1) = m(1,0) + m(0,1);
+    std::cout << m << std::endl;
 }

userland/libs/libdrm/build

@@ -0,0 +1 @@
+../build

userland/libs/libdrm/modeset.c

@@ -45,10 +45,10 @@
 
 struct modeset_dev;
 static int modeset_find_crtc(int fd, drmModeRes *res, drmModeConnector *conn,
-			     struct modeset_dev *dev);
+                 struct modeset_dev *dev);
 static int modeset_create_fb(int fd, struct modeset_dev *dev);
 static int modeset_setup_dev(int fd, drmModeRes *res, drmModeConnector *conn,
-			     struct modeset_dev *dev);
+                 struct modeset_dev *dev);
 static int modeset_open(int *out, const char *node);
 static int modeset_prepare(int fd);
 static void modeset_draw(void);
@@ -81,26 +81,26 @@ static void modeset_cleanup(int fd);
 
 static int modeset_open(int *out, const char *node)
 {
-	int fd, ret;
-	uint64_t has_dumb;
+    int fd, ret;
+    uint64_t has_dumb;
 
-	fd = open(node, O_RDWR | O_CLOEXEC);
-	if (fd < 0) {
-		ret = -errno;
-		fprintf(stderr, "cannot open '%s': %m\n", node);
-		return ret;
-	}
+    fd = open(node, O_RDWR | O_CLOEXEC);
+    if (fd < 0) {
+        ret = -errno;
+        fprintf(stderr, "cannot open '%s': %s\n", node, strerror(errno));
+        return ret;
+    }
 
-	if (drmGetCap(fd, DRM_CAP_DUMB_BUFFER, &has_dumb) < 0 ||
-	    !has_dumb) {
-		fprintf(stderr, "drm device '%s' does not support dumb buffers\n",
-			node);
-		close(fd);
-		return -EOPNOTSUPP;
-	}
+    if (drmGetCap(fd, DRM_CAP_DUMB_BUFFER, &has_dumb) < 0 ||
+        !has_dumb) {
+        fprintf(stderr, "drm device '%s' does not support dumb buffers\n",
+            node);
+        close(fd);
+        return -EOPNOTSUPP;
+    }
 
-	*out = fd;
-	return 0;
+    *out = fd;
+    return 0;
 }
 
 /*
@@ -149,20 +149,20 @@ static int modeset_open(int *out, const char *node)
  */
 
 struct modeset_dev {
-	struct modeset_dev *next;
+    struct modeset_dev *next;
 
-	uint32_t width;
-	uint32_t height;
-	uint32_t stride;
-	uint32_t size;
-	uint32_t handle;
-	uint8_t *map;
+    uint32_t width;
+    uint32_t height;
+    uint32_t stride;
+    uint32_t size;
+    uint32_t handle;
+    uint8_t *map;
 
-	drmModeModeInfo mode;
-	uint32_t fb;
-	uint32_t conn;
-	uint32_t crtc;
-	drmModeCrtc *saved_crtc;
+    drmModeModeInfo mode;
+    uint32_t fb;
+    uint32_t conn;
+    uint32_t crtc;
+    drmModeCrtc *saved_crtc;
 };
 
 static struct modeset_dev *modeset_list = NULL;
@@ -188,57 +188,57 @@ static struct modeset_dev *modeset_list = NULL;
 
 static int modeset_prepare(int fd)
 {
-	drmModeRes *res;
-	drmModeConnector *conn;
-	unsigned int i;
-	struct modeset_dev *dev;
-	int ret;
+    drmModeRes *res;
+    drmModeConnector *conn;
+    unsigned int i;
+    struct modeset_dev *dev;
+    int ret;
 
-	/* retrieve resources */
-	res = drmModeGetResources(fd);
-	if (!res) {
-		fprintf(stderr, "cannot retrieve DRM resources (%d): %m\n",
-			errno);
-		return -errno;
-	}
+    /* retrieve resources */
+    res = drmModeGetResources(fd);
+    if (!res) {
+        fprintf(stderr, "cannot retrieve DRM resources (%d): %s\n",
+            errno, strerror(errno));
+        return -errno;
+    }
 
-	/* iterate all connectors */
-	for (i = 0; i < (unsigned int)res->count_connectors; ++i) {
-		/* get information for each connector */
-		conn = drmModeGetConnector(fd, res->connectors[i]);
-		if (!conn) {
-			fprintf(stderr, "cannot retrieve DRM connector %u:%u (%d): %m\n",
-				i, res->connectors[i], errno);
-			continue;
-		}
+    /* iterate all connectors */
+    for (i = 0; i < (unsigned int)res->count_connectors; ++i) {
+        /* get information for each connector */
+        conn = drmModeGetConnector(fd, res->connectors[i]);
+        if (!conn) {
+            fprintf(stderr, "cannot retrieve DRM connector %u:%u (%d): %s\n",
+                i, res->connectors[i], errno, strerror(errno));
+            continue;
+        }
 
-		/* create a device structure */
-		dev = malloc(sizeof(*dev));
-		memset(dev, 0, sizeof(*dev));
-		dev->conn = conn->connector_id;
+        /* create a device structure */
+        dev = malloc(sizeof(*dev));
+        memset(dev, 0, sizeof(*dev));
+        dev->conn = conn->connector_id;
 
-		/* call helper function to prepare this connector */
-		ret = modeset_setup_dev(fd, res, conn, dev);
-		if (ret) {
-			if (ret != -ENOENT) {
-				errno = -ret;
-				fprintf(stderr, "cannot setup device for connector %u:%u (%d): %m\n",
-					i, res->connectors[i], errno);
-			}
-			free(dev);
-			drmModeFreeConnector(conn);
-			continue;
-		}
+        /* call helper function to prepare this connector */
+        ret = modeset_setup_dev(fd, res, conn, dev);
+        if (ret) {
+            if (ret != -ENOENT) {
+                errno = -ret;
+                fprintf(stderr, "cannot setup device for connector %u:%u (%d): %s\n",
+                    i, res->connectors[i], errno, strerror(errno));
+            }
+            free(dev);
+            drmModeFreeConnector(conn);
+            continue;
+        }
 
-		/* free connector data and link device into global list */
-		drmModeFreeConnector(conn);
-		dev->next = modeset_list;
-		modeset_list = dev;
-	}
+        /* free connector data and link device into global list */
+        drmModeFreeConnector(conn);
+        dev->next = modeset_list;
+        modeset_list = dev;
+    }
 
-	/* free resources again */
-	drmModeFreeResources(res);
-	return 0;
+    /* free resources again */
+    drmModeFreeResources(res);
+    return 0;
 }
 
 /*
@@ -271,48 +271,48 @@ static int modeset_prepare(int fd)
  */
 
 static int modeset_setup_dev(int fd, drmModeRes *res, drmModeConnector *conn,
-			     struct modeset_dev *dev)
+                 struct modeset_dev *dev)
 {
-	int ret;
+    int ret;
 
-	/* check if a monitor is connected */
-	if (conn->connection != DRM_MODE_CONNECTED) {
-		fprintf(stderr, "ignoring unused connector %u\n",
-			conn->connector_id);
-		return -ENOENT;
-	}
+    /* check if a monitor is connected */
+    if (conn->connection != DRM_MODE_CONNECTED) {
+        fprintf(stderr, "ignoring unused connector %u\n",
+            conn->connector_id);
+        return -ENOENT;
+    }
 
-	/* check if there is at least one valid mode */
-	if (conn->count_modes == 0) {
-		fprintf(stderr, "no valid mode for connector %u\n",
-			conn->connector_id);
-		return -EFAULT;
-	}
+    /* check if there is at least one valid mode */
+    if (conn->count_modes == 0) {
+        fprintf(stderr, "no valid mode for connector %u\n",
+            conn->connector_id);
+        return -EFAULT;
+    }
 
-	/* copy the mode information into our device structure */
-	memcpy(&dev->mode, &conn->modes[0], sizeof(dev->mode));
-	dev->width = conn->modes[0].hdisplay;
-	dev->height = conn->modes[0].vdisplay;
-	fprintf(stderr, "mode for connector %u is %ux%u\n",
-		conn->connector_id, dev->width, dev->height);
+    /* copy the mode information into our device structure */
+    memcpy(&dev->mode, &conn->modes[0], sizeof(dev->mode));
+    dev->width = conn->modes[0].hdisplay;
+    dev->height = conn->modes[0].vdisplay;
+    fprintf(stderr, "mode for connector %u is %ux%u\n",
+        conn->connector_id, dev->width, dev->height);
 
-	/* find a crtc for this connector */
-	ret = modeset_find_crtc(fd, res, conn, dev);
-	if (ret) {
-		fprintf(stderr, "no valid crtc for connector %u\n",
-			conn->connector_id);
-		return ret;
-	}
+    /* find a crtc for this connector */
+    ret = modeset_find_crtc(fd, res, conn, dev);
+    if (ret) {
+        fprintf(stderr, "no valid crtc for connector %u\n",
+            conn->connector_id);
+        return ret;
+    }
 
-	/* create a framebuffer for this CRTC */
-	ret = modeset_create_fb(fd, dev);
-	if (ret) {
-		fprintf(stderr, "cannot create framebuffer for connector %u\n",
-			conn->connector_id);
-		return ret;
-	}
+    /* create a framebuffer for this CRTC */
+    ret = modeset_create_fb(fd, dev);
+    if (ret) {
+        fprintf(stderr, "cannot create framebuffer for connector %u\n",
+            conn->connector_id);
+        return ret;
+    }
 
-	return 0;
+    return 0;
 }
 
 /*
@@ -338,80 +338,80 @@ static int modeset_setup_dev(int fd, drmModeRes *res, drmModeConnector *conn,
  */
 
 static int modeset_find_crtc(int fd, drmModeRes *res, drmModeConnector *conn,
-			     struct modeset_dev *dev)
+                 struct modeset_dev *dev)
 {
-	drmModeEncoder *enc;
-	unsigned int i, j;
-	int32_t crtc;
-	struct modeset_dev *iter;
+    drmModeEncoder *enc;
+    unsigned int i, j;
+    int32_t crtc;
+    struct modeset_dev *iter;
 
-	/* first try the currently conected encoder+crtc */
-	if (conn->encoder_id)
-		enc = drmModeGetEncoder(fd, conn->encoder_id);
-	else
-		enc = NULL;
+    /* first try the currently conected encoder+crtc */
+    if (conn->encoder_id)
+        enc = drmModeGetEncoder(fd, conn->encoder_id);
+    else
+        enc = NULL;
 
-	if (enc) {
-		if (enc->crtc_id) {
-			crtc = enc->crtc_id;
-			for (iter = modeset_list; iter; iter = iter->next) {
-				if ((int32_t)iter->crtc == crtc) {
-					crtc = -1;
-					break;
-				}
-			}
+    if (enc) {
+        if (enc->crtc_id) {
+            crtc = enc->crtc_id;
+            for (iter = modeset_list; iter; iter = iter->next) {
+                if ((int32_t)iter->crtc == crtc) {
+                    crtc = -1;
+                    break;
+                }
+            }
 
-			if (crtc >= 0) {
-				drmModeFreeEncoder(enc);
-				dev->crtc = crtc;
-				return 0;
-			}
-		}
+            if (crtc >= 0) {
+                drmModeFreeEncoder(enc);
+                dev->crtc = crtc;
+                return 0;
+            }
+        }
 
-		drmModeFreeEncoder(enc);
-	}
+        drmModeFreeEncoder(enc);
+    }
 
-	/* If the connector is not currently bound to an encoder or if the
-	 * encoder+crtc is already used by another connector (actually unlikely
-	 * but lets be safe), iterate all other available encoders to find a
-	 * matching CRTC. */
-	for (i = 0; i < (unsigned int)conn->count_encoders; ++i) {
-		enc = drmModeGetEncoder(fd, conn->encoders[i]);
-		if (!enc) {
-			fprintf(stderr, "cannot retrieve encoder %u:%u (%d): %m\n",
-				i, conn->encoders[i], errno);
-			continue;
-		}
+    /* If the connector is not currently bound to an encoder or if the
+     * encoder+crtc is already used by another connector (actually unlikely
+     * but lets be safe), iterate all other available encoders to find a
+     * matching CRTC. */
+    for (i = 0; i < (unsigned int)conn->count_encoders; ++i) {
+        enc = drmModeGetEncoder(fd, conn->encoders[i]);
+        if (!enc) {
+            fprintf(stderr, "cannot retrieve encoder %u:%u (%d): %s\n",
+                i, conn->encoders[i], errno, strerror(errno));
+            continue;
+        }
 
-		/* iterate all global CRTCs */
-		for (j = 0; j < (unsigned int)res->count_crtcs; ++j) {
-			/* check whether this CRTC works with the encoder */
-			if (!(enc->possible_crtcs & (1 << j)))
-				continue;
+        /* iterate all global CRTCs */
+        for (j = 0; j < (unsigned int)res->count_crtcs; ++j) {
+            /* check whether this CRTC works with the encoder */
+            if (!(enc->possible_crtcs & (1 << j)))
+                continue;
 
-			/* check that no other device already uses this CRTC */
-			crtc = res->crtcs[j];
-			for (iter = modeset_list; iter; iter = iter->next) {
-				if ((int32_t)iter->crtc == crtc) {
-					crtc = -1;
-					break;
-				}
-			}
+            /* check that no other device already uses this CRTC */
+            crtc = res->crtcs[j];
+            for (iter = modeset_list; iter; iter = iter->next) {
+                if ((int32_t)iter->crtc == crtc) {
+                    crtc = -1;
+                    break;
+                }
+            }
 
-			/* we have found a CRTC, so save it and return */
-			if (crtc >= 0) {
-				drmModeFreeEncoder(enc);
-				dev->crtc = crtc;
-				return 0;
-			}
-		}
+            /* we have found a CRTC, so save it and return */
+            if (crtc >= 0) {
+                drmModeFreeEncoder(enc);
+                dev->crtc = crtc;
+                return 0;
+            }
+        }
 
-		drmModeFreeEncoder(enc);
-	}
+        drmModeFreeEncoder(enc);
+    }
 
-	fprintf(stderr, "cannot find suitable CRTC for connector %u\n",
-		conn->connector_id);
-	return -ENOENT;
+    fprintf(stderr, "cannot find suitable CRTC for connector %u\n",
+        conn->connector_id);
+    return -ENOENT;
 }
 
 /*
@@ -441,69 +441,69 @@ static int modeset_find_crtc(int fd, drmModeRes *res, drmModeConnector *conn,
 
 static int modeset_create_fb(int fd, struct modeset_dev *dev)
 {
-	struct drm_mode_create_dumb creq;
-	struct drm_mode_destroy_dumb dreq;
-	struct drm_mode_map_dumb mreq;
-	int ret;
+    struct drm_mode_create_dumb creq;
+    struct drm_mode_destroy_dumb dreq;
+    struct drm_mode_map_dumb mreq;
+    int ret;
 
-	/* create dumb buffer */
-	memset(&creq, 0, sizeof(creq));
-	creq.width = dev->width;
-	creq.height = dev->height;
-	creq.bpp = 32;
-	ret = drmIoctl(fd, DRM_IOCTL_MODE_CREATE_DUMB, &creq);
-	if (ret < 0) {
-		fprintf(stderr, "cannot create dumb buffer (%d): %m\n",
-			errno);
-		return -errno;
-	}
-	dev->stride = creq.pitch;
-	dev->size = creq.size;
-	dev->handle = creq.handle;
+    /* create dumb buffer */
+    memset(&creq, 0, sizeof(creq));
+    creq.width = dev->width;
+    creq.height = dev->height;
+    creq.bpp = 32;
+    ret = drmIoctl(fd, DRM_IOCTL_MODE_CREATE_DUMB, &creq);
+    if (ret < 0) {
+        fprintf(stderr, "cannot create dumb buffer (%d): %s\n",
+            errno, strerror(errno));
+        return -errno;
+    }
+    dev->stride = creq.pitch;
+    dev->size = creq.size;
+    dev->handle = creq.handle;
 
-	/* create framebuffer object for the dumb-buffer */
-	ret = drmModeAddFB(fd, dev->width, dev->height, 24, 32, dev->stride,
-			   dev->handle, &dev->fb);
-	if (ret) {
-		fprintf(stderr, "cannot create framebuffer (%d): %m\n",
-			errno);
-		ret = -errno;
-		goto err_destroy;
-	}
+    /* create framebuffer object for the dumb-buffer */
+    ret = drmModeAddFB(fd, dev->width, dev->height, 24, 32, dev->stride,
+               dev->handle, &dev->fb);
+    if (ret) {
+        fprintf(stderr, "cannot create framebuffer (%d): %s\n",
+            errno, strerror(errno));
+        ret = -errno;
+        goto err_destroy;
+    }
 
-	/* prepare buffer for memory mapping */
-	memset(&mreq, 0, sizeof(mreq));
-	mreq.handle = dev->handle;
-	ret = drmIoctl(fd, DRM_IOCTL_MODE_MAP_DUMB, &mreq);
-	if (ret) {
-		fprintf(stderr, "cannot map dumb buffer (%d): %m\n",
-			errno);
-		ret = -errno;
-		goto err_fb;
-	}
+    /* prepare buffer for memory mapping */
+    memset(&mreq, 0, sizeof(mreq));
+    mreq.handle = dev->handle;
+    ret = drmIoctl(fd, DRM_IOCTL_MODE_MAP_DUMB, &mreq);
+    if (ret) {
+        fprintf(stderr, "cannot map dumb buffer (%d): %s\n",
+            errno, strerror(errno));
+        ret = -errno;
+        goto err_fb;
+    }
 
-	/* perform actual memory mapping */
-	dev->map = mmap(0, dev->size, PROT_READ | PROT_WRITE, MAP_SHARED,
-		        fd, mreq.offset);
-	if (dev->map == MAP_FAILED) {
-		fprintf(stderr, "cannot mmap dumb buffer (%d): %m\n",
-			errno);
-		ret = -errno;
-		goto err_fb;
-	}
+    /* perform actual memory mapping */
+    dev->map = mmap(0, dev->size, PROT_READ | PROT_WRITE, MAP_SHARED,
+                fd, mreq.offset);
+    if (dev->map == MAP_FAILED) {
+        fprintf(stderr, "cannot mmap dumb buffer (%d): %s\n",
+            errno, strerror(errno));
+        ret = -errno;
+        goto err_fb;
+    }
 
-	/* clear the framebuffer to 0 */
-	memset(dev->map, 0, dev->size);
+    /* clear the framebuffer to 0 */
+    memset(dev->map, 0, dev->size);
 
-	return 0;
+    return 0;
 
 err_fb:
-	drmModeRmFB(fd, dev->fb);
+    drmModeRmFB(fd, dev->fb);
 err_destroy:
-	memset(&dreq, 0, sizeof(dreq));
-	dreq.handle = dev->handle;
-	drmIoctl(fd, DRM_IOCTL_MODE_DESTROY_DUMB, &dreq);
-	return ret;
+    memset(&dreq, 0, sizeof(dreq));
+    dreq.handle = dev->handle;
+    drmIoctl(fd, DRM_IOCTL_MODE_DESTROY_DUMB, &dreq);
+    return ret;
 }
 
 /*
@@ -543,56 +543,56 @@ err_destroy:
 
 int main(int argc, char **argv)
 {
-	int ret, fd;
-	const char *card;
-	struct modeset_dev *iter;
+    int ret, fd;
+    const char *card;
+    struct modeset_dev *iter;
 
-	/* check which DRM device to open */
-	if (argc > 1)
-		card = argv[1];
-	else
-		card = "/dev/dri/card0";
+    /* check which DRM device to open */
+    if (argc > 1)
+        card = argv[1];
+    else
+        card = "/dev/dri/card0";
 
-	fprintf(stderr, "using card '%s'\n", card);
+    fprintf(stderr, "using card '%s'\n", card);
 
-	/* open the DRM device */
-	ret = modeset_open(&fd, card);
-	if (ret)
-		goto out_return;
+    /* open the DRM device */
+    ret = modeset_open(&fd, card);
+    if (ret)
+        goto out_return;
 
-	/* prepare all connectors and CRTCs */
-	ret = modeset_prepare(fd);
-	if (ret)
-		goto out_close;
+    /* prepare all connectors and CRTCs */
+    ret = modeset_prepare(fd);
+    if (ret)
+        goto out_close;
 
-	/* perform actual modesetting on each found connector+CRTC */
-	for (iter = modeset_list; iter; iter = iter->next) {
-		iter->saved_crtc = drmModeGetCrtc(fd, iter->crtc);
-		ret = drmModeSetCrtc(fd, iter->crtc, iter->fb, 0, 0,
-				     &iter->conn, 1, &iter->mode);
-		if (ret)
-			fprintf(stderr, "cannot set CRTC for connector %u (%d): %m\n",
-				iter->conn, errno);
-	}
+    /* perform actual modesetting on each found connector+CRTC */
+    for (iter = modeset_list; iter; iter = iter->next) {
+        iter->saved_crtc = drmModeGetCrtc(fd, iter->crtc);
+        ret = drmModeSetCrtc(fd, iter->crtc, iter->fb, 0, 0,
+                     &iter->conn, 1, &iter->mode);
+        if (ret)
+            fprintf(stderr, "cannot set CRTC for connector %u (%d): %s\n",
+                iter->conn, errno, strerror(errno));
+    }
 
-	/* draw some colors for 5seconds */
-	modeset_draw();
+    /* draw some colors for 5seconds */
+    modeset_draw();
 
-	/* cleanup everything */
-	modeset_cleanup(fd);
+    /* cleanup everything */
+    modeset_cleanup(fd);
 
-	ret = 0;
+    ret = 0;
 
 out_close:
-	close(fd);
+    close(fd);
 out_return:
-	if (ret) {
-		errno = -ret;
-		fprintf(stderr, "modeset failed with error %d: %m\n", errno);
-	} else {
-		fprintf(stderr, "exiting\n");
-	}
-	return ret;
+    if (ret) {
+        errno = -ret;
+        fprintf(stderr, "modeset failed with error %d: %s\n", errno, strerror(errno));
+    } else {
+        fprintf(stderr, "exiting\n");
+    }
+    return ret;
 }
 
 /*
@@ -602,15 +602,15 @@ out_return:
 
 static uint8_t next_color(bool *up, uint8_t cur, unsigned int mod)
 {
-	uint8_t next;
+    uint8_t next;
 
-	next = cur + (*up ? 1 : -1) * (rand() % mod);
-	if ((*up && next < cur) || (!*up && next > cur)) {
-		*up = !*up;
-		next = cur;
-	}
+    next = cur + (*up ? 1 : -1) * (rand() % mod);
+    if ((*up && next < cur) || (!*up && next > cur)) {
+        *up = !*up;
+        next = cur;
+    }
 
-	return next;
+    return next;
 }
 
 /*
@@ -635,34 +635,34 @@ static uint8_t next_color(bool *up, uint8_t cur, unsigned int mod)
 
 static void modeset_draw(void)
 {
-	uint8_t r, g, b;
-	bool r_up, g_up, b_up;
-	unsigned int i, j, k, off;
-	struct modeset_dev *iter;
+    uint8_t r, g, b;
+    bool r_up, g_up, b_up;
+    unsigned int i, j, k, off;
+    struct modeset_dev *iter;
 
-	srand(time(NULL));
-	r = rand() % 0xff;
-	g = rand() % 0xff;
-	b = rand() % 0xff;
-	r_up = g_up = b_up = true;
+    srand(time(NULL));
+    r = rand() % 0xff;
+    g = rand() % 0xff;
+    b = rand() % 0xff;
+    r_up = g_up = b_up = true;
 
-	for (i = 0; i < 50; ++i) {
-		r = next_color(&r_up, r, 20);
-		g = next_color(&g_up, g, 10);
-		b = next_color(&b_up, b, 5);
+    for (i = 0; i < 50; ++i) {
+        r = next_color(&r_up, r, 20);
+        g = next_color(&g_up, g, 10);
+        b = next_color(&b_up, b, 5);
 
-		for (iter = modeset_list; iter; iter = iter->next) {
-			for (j = 0; j < iter->height; ++j) {
-				for (k = 0; k < iter->width; ++k) {
-					off = iter->stride * j + k * 4;
-					*(uint32_t*)&iter->map[off] =
-						     (r << 16) | (g << 8) | b;
-				}
-			}
-		}
+        for (iter = modeset_list; iter; iter = iter->next) {
+            for (j = 0; j < iter->height; ++j) {
+                for (k = 0; k < iter->width; ++k) {
+                    off = iter->stride * j + k * 4;
+                    *(uint32_t*)&iter->map[off] =
+                             (r << 16) | (g << 8) | b;
+                }
+            }
+        }
 
-		usleep(100000);
-	}
+        usleep(100000);
+    }
 }
 
 /*
@@ -674,39 +674,41 @@ static void modeset_draw(void)
 
 static void modeset_cleanup(int fd)
 {
-	struct modeset_dev *iter;
-	struct drm_mode_destroy_dumb dreq;
+    struct modeset_dev *iter;
+    struct drm_mode_destroy_dumb dreq;
 
-	while (modeset_list) {
-		/* remove from global list */
-		iter = modeset_list;
-		modeset_list = iter->next;
+    while (modeset_list) {
+        /* remove from global list */
+        iter = modeset_list;
+        modeset_list = iter->next;
 
-		/* restore saved CRTC configuration */
-		drmModeSetCrtc(fd,
-			       iter->saved_crtc->crtc_id,
-			       iter->saved_crtc->buffer_id,
-			       iter->saved_crtc->x,
-			       iter->saved_crtc->y,
-			       &iter->conn,
-			       1,
-			       &iter->saved_crtc->mode);
-		drmModeFreeCrtc(iter->saved_crtc);
+        /* restore saved CRTC configuration */
+        drmModeSetCrtc(
+            fd,
+            iter->saved_crtc->crtc_id,
+            iter->saved_crtc->buffer_id,
+            iter->saved_crtc->x,
+            iter->saved_crtc->y,
+            &iter->conn,
+            1,
+            &iter->saved_crtc->mode
+        );
+        drmModeFreeCrtc(iter->saved_crtc);
 
-		/* unmap buffer */
-		munmap(iter->map, iter->size);
+        /* unmap buffer */
+        munmap(iter->map, iter->size);
 
-		/* delete framebuffer */
-		drmModeRmFB(fd, iter->fb);
+        /* delete framebuffer */
+        drmModeRmFB(fd, iter->fb);
 
-		/* delete dumb buffer */
-		memset(&dreq, 0, sizeof(dreq));
-		dreq.handle = iter->handle;
-		drmIoctl(fd, DRM_IOCTL_MODE_DESTROY_DUMB, &dreq);
+        /* delete dumb buffer */
+        memset(&dreq, 0, sizeof(dreq));
+        dreq.handle = iter->handle;
+        drmIoctl(fd, DRM_IOCTL_MODE_DESTROY_DUMB, &dreq);
 
-		/* free allocated memory */
-		free(iter);
-	}
+        /* free allocated memory */
+        free(iter);
+    }
 }
 
 /*

userland/libs/openblas/build

@@ -0,0 +1 @@
+../build

userland/linux/README.adoc

@@ -1,3 +1,5 @@
-Programs in this directory rely on Linux kernel specific functionality such as `/proc`.
+Programs in this directory rely on Linux kernel specific functionality such as `/proc` or raw system calls.
 
 These programs may also conform to ANSI C or POSIX, but we put them here because you can only observe them at work under Linux.
+
+Many of these programs use glibc or GCC extensions.

userland/linux/init_env_poweroff.c

@@ -0,0 +1,25 @@
+#define _XOPEN_SOURCE 700
+#include <stdio.h>
+#include <sys/reboot.h>
+#include <unistd.h>
+
+int main(int argc, char **argv) {
+    int i;
+
+    puts("args:");
+    for (i = 0; i < argc; ++i)
+        puts(argv[i]);
+    puts("");
+
+    puts("env:");
+    extern char **environ;
+    char **env = environ;
+    while (*env) {
+        printf("%s\n", *env);
+        env++;
+    }
+    puts("");
+
+    /* Poweroff. */
+    reboot(RB_POWER_OFF);
+}

userland/linux/poweroff.c

@@ -5,5 +5,5 @@
 #include <unistd.h>
 
 int main(void) {
-	reboot(RB_POWER_OFF);
+    reboot(RB_POWER_OFF);
 }

userland/linux/rand_check.c

@@ -13,29 +13,29 @@ int bss = 0;
 int data = 1;
 
 int main(__attribute__((unused)) int argc, char **argv) {
-	int i, *ip;
-	uint64_t uint64;
-	FILE *fp;
+    int i, *ip;
+    uint64_t uint64;
+    FILE *fp;
 
-	/* Loaded addresses. */
-	printf("&i         = %p\n", (void *)&i);
-	printf("&argv[0]   = %p\n", (void *)&argv[0]);
-	printf("&main      = %p\n", (void *)(intptr_t)main);
-	printf("&bss       = %p\n", (void *)&bss);
-	printf("&data      = %p\n", (void *)&data);
+    /* Loaded addresses. */
+    printf("&i         = %p\n", (void *)&i);
+    printf("&argv[0]   = %p\n", (void *)&argv[0]);
+    printf("&main      = %p\n", (void *)(intptr_t)main);
+    printf("&bss       = %p\n", (void *)&bss);
+    printf("&data      = %p\n", (void *)&data);
 
-	/* Misc syscalls. */
-	printf("time(NULL) = %ju\n", (uintmax_t)time(NULL));
-	printf("pid = %ju\n", (uintmax_t)getpid());
+    /* Misc syscalls. */
+    printf("time(NULL) = %ju\n", (uintmax_t)time(NULL));
+    printf("pid = %ju\n", (uintmax_t)getpid());
 
-	/* malloc */
-	ip = malloc(sizeof(*ip));
-	printf("&malloc    = %p\n", (void *)ip);
-	free(ip);
+    /* malloc */
+    ip = malloc(sizeof(*ip));
+    printf("&malloc    = %p\n", (void *)ip);
+    free(ip);
 
-	/* /dev/urandom */
-	fp = fopen("/dev/urandom", "rb");
-	fread(&uint64, sizeof(uint64), 1, fp);
-	printf("/dev/urandom = %" PRIx64 "\n", uint64);
-	fclose(fp);
+    /* /dev/urandom */
+    fp = fopen("/dev/urandom", "rb");
+    fread(&uint64, sizeof(uint64), 1, fp);
+    printf("/dev/urandom = %" PRIx64 "\n", uint64);
+    fclose(fp);
 }

userland/linux/sched_getaffinity_threads.c

@@ -10,31 +10,31 @@
 #include <unistd.h>
 
 void* main_thread_0(void *arg) {
-	int i;
+    int i;
     cpu_set_t mask;
     CPU_ZERO(&mask);
     CPU_SET(*((int*)arg), &mask);
     sched_setaffinity(0, sizeof(cpu_set_t), &mask);
     i = 0;
     while (true) {
-    	printf("0 %d\n", i);
-    	sleep(1);
-    	i++;
+        printf("0 %d\n", i);
+        sleep(1);
+        i++;
     }
     return NULL;
 }
 
 void* main_thread_1(void *arg) {
-	int i;
+    int i;
     cpu_set_t mask;
     CPU_ZERO(&mask);
     CPU_SET(*((int*)arg), &mask);
     sched_setaffinity(1, sizeof(cpu_set_t), &mask);
     i = 0;
     while (true) {
-    	printf("1 %d\n", i);
-    	sleep(1);
-    	i++;
+        printf("1 %d\n", i);
+        sleep(1);
+        i++;
     }
     return NULL;
 }
@@ -43,8 +43,8 @@ int main(void) {
     enum NUM_THREADS {NUM_THREADS = 2};
     pthread_t threads[NUM_THREADS];
     int thread_args[NUM_THREADS];
-	pthread_create(&threads[0], NULL, main_thread_0, (void*)&thread_args[0]);
-	pthread_create(&threads[1], NULL, main_thread_1, (void*)&thread_args[1]);
+    pthread_create(&threads[0], NULL, main_thread_0, (void*)&thread_args[0]);
+    pthread_create(&threads[1], NULL, main_thread_1, (void*)&thread_args[1]);
     pthread_join(threads[0], NULL);
     pthread_join(threads[1], NULL);
     return EXIT_SUCCESS;

userland/poll.c

@@ -1,41 +0,0 @@
-/* https://github.com/cirosantilli/linux-kernel-module-cheat#poll */
-
-#define _XOPEN_SOURCE 700
-#include <assert.h>
-#include <fcntl.h> /* creat, O_CREAT */
-#include <poll.h> /* poll */
-#include <stdio.h> /* printf, puts, snprintf */
-#include <stdlib.h> /* EXIT_FAILURE, EXIT_SUCCESS */
-#include <unistd.h> /* read */
-
-int main(int argc, char **argv) {
-	char buf[1024];
-	int fd, i, n;
-	short revents;
-	struct pollfd pfd;
-
-	if (argc < 2) {
-		fprintf(stderr, "usage: %s <poll-device>\n", argv[0]);
-		exit(EXIT_FAILURE);
-	}
-	fd = open(argv[1], O_RDONLY | O_NONBLOCK);
-	if (fd == -1) {
-		perror("open");
-		exit(EXIT_FAILURE);
-	}
-	pfd.fd = fd;
-	pfd.events = POLLIN;
-	while (1) {
-		puts("loop");
-		i = poll(&pfd, 1, -1);
-		if (i == -1) {
-			perror("poll");
-			assert(0);
-		}
-		revents = pfd.revents;
-		if (revents & POLLIN) {
-			n = read(pfd.fd, buf, sizeof(buf));
-			printf("POLLIN n=%d buf=%.*s\n", n, n, buf);
-		}
-	}
-}

userland/posix/virt_to_phys_test.c

@@ -11,11 +11,11 @@ enum { I0 = 0x12345678 };
 static volatile uint32_t i = I0;
 
 int main(void) {
-	printf("vaddr %p\n", (void *)&i);
-	printf("pid %ju\n", (uintmax_t)getpid());
-	while (i == I0) {
-		sleep(1);
-	}
-	printf("i %jx\n", (uintmax_t)i);
-	return EXIT_SUCCESS;
+    printf("vaddr %p\n", (void *)&i);
+    printf("pid %ju\n", (uintmax_t)getpid());
+    while (i == I0) {
+        sleep(1);
+    }
+    printf("i %jx\n", (uintmax_t)i);
+    return EXIT_SUCCESS;
 }

userland/print_argv.c

@@ -1,10 +0,0 @@
-/* Print each command line argument received, one per line. */
-
-#include <stdio.h>
-
-int main(int argc, char **argv) {
-	size_t i;
-	for (i = 0; i < (size_t)argc; ++i)
-		printf("%s\n", argv[i]);
-	return 0;
-}