Remove unneeded CI jobs

.gitea/workflows/ci.yaml

@@ -21,16 +21,6 @@ jobs:
   #    - uses: actions-rust-lang/setup-rust-toolchain@v1
   #    - run: cargo test
 
-  fmt:
-    name: Rustfmt
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions-rust-lang/setup-rust-toolchain@v1
-      - run: rustup component add rustfmt
-      - run: rustup target add x86_64-unknown-none
-      - run: cargo fmt --all -- --check
-
   clippy:
     name: Clippy
     runs-on: ubuntu-latest
@@ -40,12 +30,3 @@ jobs:
       - run: rustup component add clippy
       - run: rustup target add x86_64-unknown-none
       - run: cargo clippy -- -D warnings
-  
-  build:
-    name: Build (x86_64)
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v4
-      - uses: actions-rust-lang/setup-rust-toolchain@v1
-      - run: rustup target add x86_64-unknown-none
-      - run: cargo build --bin kernel --target x86_64-unknown-none

README.md

@@ -1,7 +1,7 @@
 
 # Gila v0.3.1 - a Rust Microkernel
 
-Gila is a Rust microkernel OS, inspired by the Xinu embedded OS, as well as Linux. I aim to implement multitasking and different users for processes, and eventually a filesystem. I do not aim to make it POSIX-compatible, but it will likely end up sharing many features with POSIX operating systems.
+Gila is a Rust microkernel OS, inspired by microkernel projects such as seL4 and Redox. I aim to implement multitasking, userspace drivers, IPC, and sandboxing. I do not aim to make it POSIX-compatible, but it will likely end up sharing many features with POSIX operating systems. Its design philosophy is focused around simplicity, isolation, modularity, and minimal privilege.
 
 ![A screenshot of serial console output from Gila's boot process.](gila_serial.png)
 

src/kernel/constants.rs

@@ -71,7 +71,7 @@ pub fn kernel_version_string() -> String {
     )
 }
 
-pub static ASCII_LOGO: [&'static str; 6] = [
+pub static ASCII_LOGO: [&str; 6] = [
     "         _ __     ",
     "  ____ _(_) /___ _",
     " / __ `/ / / __ `/",

src/kernel/main.rs

@@ -84,7 +84,9 @@ unsafe extern "C" fn main() -> ! {
         locked.log_write("\t\t");
         locked.log_writeln(line);
     }
-    SERIAL_3F8.lock().log_writeln("\tWelcome to the Gila microkernel!\n");
+    SERIAL_3F8
+        .lock()
+        .log_writeln("\tWelcome to the Gila microkernel!\n");
     log_info!("Booting gila version {}", kernel_version_string());
     log_info!("Enabled features: {}", FEATURE_FLAGS.to_string());