Add a userspace tool to set resolution using ioctl binding

apps/set-resolution.c

@@ -0,0 +1,25 @@
+#include <stdio.h>
+#include <unistd.h>
+#include <fcntl.h>
+#include <stdlib.h>
+#include <stdint.h>
+#include <string.h>
+#include <sys/ioctl.h>
+#include <kernel/video.h>
+
+int main(int argc, char * argv[]) {
+	if (argc < 3) {
+		fprintf(stderr, "Usage: %s width height\n", argv[0]);
+	}
+
+	/* This should be something we do through yutani */
+	int fd = open("/dev/fb0", O_RDONLY);
+
+	struct vid_size s;
+	s.width = atoi(argv[1]);
+	s.height = atoi(argv[2]);
+
+	ioctl(fd, IO_VID_SET, &s);
+
+	return 0;
+}

base/usr/include/kernel/video.h

@@ -8,6 +8,11 @@
 #define IO_VID_SET    0x5006
 #define IO_VID_STRIDE 0x5007
 
+struct vid_size {
+	uint32_t width;
+	uint32_t height;
+};
+
 #ifdef _KERNEL_
 extern void lfb_set_resolution(uint16_t x, uint16_t y);
 extern uint16_t lfb_resolution_x;

modules/lfbvideo.c

@@ -46,11 +46,6 @@ void lfb_set_resolution(uint16_t x, uint16_t y);
  */
 uint8_t * lfb_vid_memory = (uint8_t *)0xE0000000;
 
-struct vid_size {
-	uint32_t width;
-	uint32_t height;
-};
-
 static int ioctl_vid(fs_node_t * node, int request, void * argp) {
 	/* TODO: Make this actually support multiple video devices */