update drivers

drivers/basic_driver/src/main.rs

@@ -2,7 +2,6 @@
 #![no_main]
 
 #[no_mangle]
-fn start() -> i32 {
+fn start() {
     // Simple driver
-    1
 }

drivers/graphics/derelict_microarchitecture/src/main.rs

@@ -2,7 +2,6 @@
 #![no_main]
 
 #[no_mangle]
-fn start() -> i32 {
+fn start() {
     // Simple driver
-    1
 }

drivers/graphics/ground/src/main.rs

@@ -2,7 +2,6 @@
 #![no_main]
 
 #[no_mangle]
-fn start() -> i32 {
+fn start() {
     // Simple driver
-    1
 }

drivers/graphics/novideo/src/main.rs

@@ -2,7 +2,6 @@
 #![no_main]
 
 #[no_mangle]
-fn start() -> i32 {
+fn start() {
     // Simple driver
-    1
 }

drivers/graphics/vgable/src/main.rs

@@ -2,7 +2,7 @@
 #![no_main]
 
 #[no_mangle]
-fn start() -> i32 {
+fn start() {
-    // Simple driver
+    // TODO: Initialize the VGA hardware and configure it to the desired video mode
-    1
+    // (e.g. 640x480, 800x600, etc.).
 }