.envrc

@@ -1 +0,0 @@
-use flake . --impure

.gitignore

@@ -1,2 +1 @@
 target/
-.direnv

Cargo.lock

@@ -142,15 +142,15 @@ checksum = "1fd0f2584146f6f2ef48085050886acf353beff7305ebd1ae69500e27c67f64b"
 
 [[package]]
 name = "bytes"
-version = "1.7.2"
+version = "1.7.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "428d9aa8fbc0670b7b8d6030a7fadd0f86151cae55e4dbbece15f3780a3dfaf3"
+checksum = "8318a53db07bb3f8dca91a600466bdb3f2eaadeedfdbcf02e1accbad9271ba50"
 
 [[package]]
 name = "cc"
-version = "1.1.21"
+version = "1.1.20"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "07b1695e2c7e8fc85310cde85aeaab7e3097f593c91d209d3f9df76c928100f0"
+checksum = "45bcde016d64c21da4be18b655631e5ab6d3107607e71a73a9f53eb48aae23fb"
 dependencies = [
  "shlex",
 ]
@@ -390,24 +390,35 @@ dependencies = [
 [[package]]
 name = "hbbytecode"
 version = "0.1.0"
-source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#0e9f4402cb686da817ef876abd764676e262759a"
+source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#ece9bb8bf21507b5d2a7c870f55aa2e9c5ab9f26"
+
+[[package]]
+name = "hbbytecode"
+version = "0.1.0"
+source = "git+https://git.ablecorp.us/ableos/holey-bytes.git#4a9b9de87fd56a6bbd5d0ca2c622104d4807612b"
 
 [[package]]
 name = "hblang"
 version = "0.1.0"
-source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#0e9f4402cb686da817ef876abd764676e262759a"
+source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#ece9bb8bf21507b5d2a7c870f55aa2e9c5ab9f26"
 dependencies = [
- "hbbytecode",
+ "hbvm 0.1.0 (git+https://git.ablecorp.us/AbleOS/holey-bytes.git)",
- "hbvm",
- "regalloc2",
 ]
 
 [[package]]
 name = "hbvm"
 version = "0.1.0"
-source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#0e9f4402cb686da817ef876abd764676e262759a"
+source = "git+https://git.ablecorp.us/AbleOS/holey-bytes.git#ece9bb8bf21507b5d2a7c870f55aa2e9c5ab9f26"
 dependencies = [
- "hbbytecode",
+ "hbbytecode 0.1.0 (git+https://git.ablecorp.us/AbleOS/holey-bytes.git)",
+]
+
+[[package]]
+name = "hbvm"
+version = "0.1.0"
+source = "git+https://git.ablecorp.us/ableos/holey-bytes.git#4a9b9de87fd56a6bbd5d0ca2c622104d4807612b"
+dependencies = [
+ "hbbytecode 0.1.0 (git+https://git.ablecorp.us/ableos/holey-bytes.git)",
 ]
 
 [[package]]
@@ -586,7 +597,7 @@ dependencies = [
  "derive_more",
  "embedded-graphics",
  "hashbrown",
- "hbvm",
+ "hbvm 0.1.0 (git+https://git.ablecorp.us/ableos/holey-bytes.git)",
  "limine",
  "log",
  "sbi",
@@ -636,18 +647,18 @@ checksum = "a7a70ba024b9dc04c27ea2f0c0548feb474ec5c54bba33a7f72f873a39d07b24"
 
 [[package]]
 name = "logos"
-version = "0.14.2"
+version = "0.14.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "1c6b6e02facda28ca5fb8dbe4b152496ba3b1bd5a4b40bb2b1b2d8ad74e0f39b"
+checksum = "ff1ceb190eb9bdeecdd8f1ad6a71d6d632a50905948771718741b5461fb01e13"
 dependencies = [
  "logos-derive",
 ]
 
 [[package]]
 name = "logos-codegen"
-version = "0.14.2"
+version = "0.14.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "b32eb6b5f26efacd015b000bfc562186472cd9b34bdba3f6b264e2a052676d10"
+checksum = "90be66cb7bd40cb5cc2e9cfaf2d1133b04a3d93b72344267715010a466e0915a"
 dependencies = [
  "beef",
  "fnv",
@@ -660,9 +671,9 @@ dependencies = [
 
 [[package]]
 name = "logos-derive"
-version = "0.14.2"
+version = "0.14.1"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "3e5d0c5463c911ef55624739fc353238b4e310f0144be1f875dc42fec6bfd5ec"
+checksum = "45154231e8e96586b39494029e58f12f8ffcb5ecf80333a603a13aa205ea8cbd"
 dependencies = [
  "logos-codegen",
 ]
@@ -888,16 +899,6 @@ dependencies = [
  "bitflags 1.3.2",
 ]
 
-[[package]]
-name = "regalloc2"
-version = "0.10.2"
-source = "git+https://github.com/jakubDoka/regalloc2#52b2bbe908e78af1715de88f562f62a83e36ca96"
-dependencies = [
- "hashbrown",
- "rustc-hash",
- "smallvec",
-]
-
 [[package]]
 name = "regex-syntax"
 version = "0.8.4"
@@ -1370,18 +1371,18 @@ checksum = "e91b56cd4cadaeb79bbf1a5645f6b4f8dc5bde8834ad5894a8db35fda9efa1fe"
 
 [[package]]
 name = "unicode-normalization"
-version = "0.1.24"
+version = "0.1.23"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5033c97c4262335cded6d6fc3e5c18ab755e1a3dc96376350f3d8e9f009ad956"
+checksum = "a56d1686db2308d901306f92a263857ef59ea39678a5458e7cb17f01415101f5"
 dependencies = [
  "tinyvec",
 ]
 
 [[package]]
 name = "unicode-xid"
-version = "0.2.6"
+version = "0.2.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853"
+checksum = "229730647fbc343e3a80e463c1db7f78f3855d3f3739bee0dda773c9a037c90a"
 
 [[package]]
 name = "untrusted"
@@ -1526,9 +1527,9 @@ dependencies = [
 
 [[package]]
 name = "webpki-roots"
-version = "0.26.6"
+version = "0.26.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "841c67bff177718f1d4dfefde8d8f0e78f9b6589319ba88312f567fc5841a958"
+checksum = "0bd24728e5af82c6c4ec1b66ac4844bdf8156257fccda846ec58b42cd0cdbe6a"
 dependencies = [
  "rustls-pki-types",
 ]

README.md

@@ -22,5 +22,3 @@ For running AbleOS, `repbuild` uses QEMU.
 
 # Developing
 There is a new work in progress developer tool for hblang. 
-
-There is also a flake you can run by typing `nix develop .`.

flake.lock

@@ -1,57 +0,0 @@
-{
-  "nodes": {
-    "flake-utils": {
-      "inputs": {
-        "systems": "systems"
-      },
-      "locked": {
-        "lastModified": 1726560853,
-        "narHash": "sha256-X6rJYSESBVr3hBoH0WbKE5KvhPU5bloyZ2L4K60/fPQ=",
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "rev": "c1dfcf08411b08f6b8615f7d8971a2bfa81d5e8a",
-        "type": "github"
-      },
-      "original": {
-        "owner": "numtide",
-        "repo": "flake-utils",
-        "type": "github"
-      }
-    },
-    "nixpkgs": {
-      "locked": {
-        "lastModified": 0,
-        "narHash": "sha256-6H95HGJHhEZtyYA3rIQpvamMKAGoa8Yh2rFV29QnuGw=",
-        "path": "/nix/store/nra828scc8qs92b9pxra5csqzffb6hpl-source",
-        "type": "path"
-      },
-      "original": {
-        "id": "nixpkgs",
-        "type": "indirect"
-      }
-    },
-    "root": {
-      "inputs": {
-        "flake-utils": "flake-utils",
-        "nixpkgs": "nixpkgs"
-      }
-    },
-    "systems": {
-      "locked": {
-        "lastModified": 1681028828,
-        "narHash": "sha256-Vy1rq5AaRuLzOxct8nz4T6wlgyUR7zLU309k9mBC768=",
-        "owner": "nix-systems",
-        "repo": "default",
-        "rev": "da67096a3b9bf56a91d16901293e51ba5b49a27e",
-        "type": "github"
-      },
-      "original": {
-        "owner": "nix-systems",
-        "repo": "default",
-        "type": "github"
-      }
-    }
-  },
-  "root": "root",
-  "version": 7
-}

flake.nix

@@ -1,62 +0,0 @@
-{
-  description = "ableos flake";
-
-  inputs = {
-    flake-utils.url = "github:numtide/flake-utils";
-  };
-
-  outputs =
-    {
-      self,
-      nixpkgs,
-      flake-utils,
-    }:
-    flake-utils.lib.eachDefaultSystem (
-      system:
-      let
-        # Just use whatever versions are already on the system for a devshell
-        pkgs = nixpkgs.legacyPackages.${system};
-      in
-      {
-        devShell = pkgs.mkShell rec {
-          buildInputs = with pkgs; [
-            clang
-            llvmPackages.bintools
-            rustup
-            qemu_full
-            # OMVFFull
-            # OMVF
-          ];
-          extraCmds = '''';
-          RUSTC_VERSION = pkgs.lib.readFile ./rust-toolchain.toml;
-          # https://github.com/rust-lang/rust-bindgen#environment-variables
-          LIBCLANG_PATH = pkgs.lib.makeLibraryPath [ pkgs.llvmPackages_latest.libclang.lib ];
-          shellHook = ''
-            export REPBUILD_QEMU_FIRMWARE_PATH=${pkgs.OVMF.fd}/FV/OVMF.fd
-
-            export PATH=$PATH:''${CARGO_HOME:-~/.cargo}/bin
-            export PATH=$PATH:''${RUSTUP_HOME:-~/.rustup}/toolchains/$RUSTC_VERSION-x86_64-unknown-linux-gnu/bin/
-          '';
-          # Add precompiled library to rustc search path
-          RUSTFLAGS = (
-            builtins.map (a: "-L ${a}/lib") [
-              # add libraries here (e.g. pkgs.libvmi)
-            ]
-          );
-          # Add glibc, clang, glib and other headers to bindgen search path
-          BINDGEN_EXTRA_CLANG_ARGS =
-            # Includes with normal include path
-            (builtins.map (a: ''-I"${a}/include"'') [
-              # add dev libraries here (e.g. pkgs.libvmi.dev)
-              pkgs.glibc.dev
-            ])
-            # Includes with special directory paths
-            ++ [
-              ''-I"${pkgs.llvmPackages_latest.libclang.lib}/lib/clang/${pkgs.llvmPackages_latest.libclang.version}/include"''
-              ''-I"${pkgs.glib.dev}/include/glib-2.0"''
-              "-I${pkgs.glib.out}/lib/glib-2.0/include/"
-            ];
-        };
-      }
-    );
-}

kernel/Cargo.toml

@@ -6,7 +6,7 @@ version = "0.2.0"
 
 [dependencies]
 embedded-graphics = "0.8"
-hbvm.git = "https://git.ablecorp.us/AbleOS/holey-bytes.git"
+hbvm.git = "https://git.ablecorp.us/ableos/holey-bytes.git"
 log = "0.4"
 spin = "0.9"
 slab = { version = "0.4", default-features = false }

kernel/src/arch/aarch64/logging.rs

@@ -22,7 +22,7 @@ unsafe impl Send for SerialConsole {}
 
 pub fn log(args: core::fmt::Arguments<'_>) -> core::fmt::Result {
     SERIAL_CONSOLE.lock().write_fmt(args)?;
-    // TERMINAL_LOGGER.lock().write_fmt(args)?;
+    TERMINAL_LOGGER.lock().write_fmt(args)?;
 
     Ok(())
 }

kernel/src/exe_format.rs

@@ -1,35 +0,0 @@
-enum Sections {
-    Header,
-    Code,
-    Data,
-    Debug,
-    Config,
-    Metadata,
-}
-
-// 64 byte header
-#[repr(packed)]
-struct AbleOsExecutableHeader {
-    magic_number: [u8; 3],
-    executable_version: u32,
-
-    code_length:     u64,
-    data_length:     u64,
-    debug_length:    u64,
-    config_length:   u64,
-    metadata_length: u64,
-}
-
-impl AbleOsExecutableHeader {
-    fn new() -> Self {
-        Self {
-            magic_number: [0x15, 0x91, 0xD2],
-            executable_version: 0,
-            code_length: 0,
-            config_length: 0,
-            data_length: 0,
-            debug_length: 0,
-            metadata_length: 0,
-        }
-    }
-}

kernel/src/holeybytes/ecah.rs

@@ -112,8 +112,7 @@ pub fn handler(vm: &mut Vm) {
                         1 => unsafe {
                             let size = msg_vec[1];
                             let addr = u16::from_le_bytes(msg_vec[2..4].try_into().unwrap());
-                            // info!("Setting address {}", addr);
+                            trace!("Setting address {}", addr);
-
                             match size {
                                 0 => x86_out(addr, msg_vec[4]),
                                 1 => x86_out(
@@ -212,7 +211,7 @@ pub fn handler(vm: &mut Vm) {
                     x86_64::instructions::port::Port::new(address).write(value);
                 }
                 let x = hbvm::value::Value(unsafe { x86_in(r2 as u16) } as u64);
-                // info!("Read {:?} from Port {:?}", x, r2);
+                info!("Read {:?} from Port {:?}", x, r2);
                 vm.registers[3] = x
             }
         }

kernel/src/kmain.rs

@@ -12,7 +12,7 @@ use {
     hashbrown::HashMap,
     hbvm::mem::Address,
     limine::{Framebuffer, FramebufferRequest, NonNullPtr},
-    log::{debug, error, trace},
+    log::{debug, trace},
     spin::{Lazy, Mutex},
 };
 
@@ -56,7 +56,7 @@ pub fn kmain(_cmdline: &str, boot_modules: BootModules) -> ! {
 
         disp.set_attribute("width", fb1.width);
         disp.set_attribute("height", fb1.height);
-        disp.set_attribute("bpp", fb1.bpp);
+        disp.set_attribute("bits per pixel", fb1.bpp);
         disp.set_attribute("pitch", fb1.pitch);
         dt.devices.insert("Displays".to_string(), alloc::vec![disp]);
     }
@@ -74,28 +74,7 @@ pub fn kmain(_cmdline: &str, boot_modules: BootModules) -> ! {
 
             log::info!("Spawning {} with arguments \"{}\"", module.path, cmd);
 
-            // decode AbleOS Executable format
+            let mut thr = ExecThread::new(&module.bytes, Address::new(0));
-            let header = &module.bytes[0..46];
-            let magic_slice = &header[0..3];
-            if magic_slice != [0x15, 0x91, 0xD2] {
-                log::error!("Invalid magic number at the start of executable.");
-                continue;
-            }
-
-            let executable_format_version = u32::from_le_bytes(header[3..7].try_into().unwrap());
-            let offset = if executable_format_version == 0 {
-                47
-            } else {
-                error!("Invalid executable format.");
-                continue;
-            };
-
-            let code_length = u64::from_le_bytes(header[7..15].try_into().unwrap());
-            let data_length = u64::from_le_bytes(header[15..23].try_into().unwrap());
-            let end = (code_length + data_length) as usize;
-            log::info!("{code_length} + {data_length} = {end}");
-
-            let mut thr = ExecThread::new(&module.bytes[offset..end], Address::new(0));
             if cmd_len > 0 {
                 thr.set_arguments(cmd.as_ptr() as u64, cmd_len);
             }

kernel/src/lib.rs

@@ -22,7 +22,6 @@ mod arch;
 mod bootmodules;
 mod capabilities;
 mod device_tree;
-mod exe_format;
 mod handle;
 mod holeybytes;
 mod ipc;

repbuild/src/main.rs

@@ -345,12 +345,11 @@ fn run(release: bool, target: Target) -> Result<(), Error> {
             com.args([
                 "-bios", &ovmf_path.change_context(Error::OvmfFetch)?,
                 "-drive", "file=target/disk.img,format=raw",
-                "-device", "vmware-svga",
+                "-m", "4G",
-                "-m", "2G",
+                "-smp", "cores=4",
-                "-smp", "1",
+                "-enable-kvm",
-                "-machine", "accel=kvm",
                 "-cpu", "host",
-                "-device", "isa-debug-exit,iobase=0xf4,iosize=0x04",
+                "-device", "isa-debug-exit,iobase=0xf4,iosize=0x04"
             ]);
         }
         Target::Riscv64Virt => {

rust-toolchain.toml

@@ -1,3 +1,3 @@
 [toolchain]
 channel = "nightly-2024-07-27"
-components = ["rust-src", "llvm-tools", "rust-analyzer"]
+components = ["rust-src", "llvm-tools"]

shell.nix

@@ -0,0 +1,41 @@
+{ pkgs ? import <nixpkgs> { } }:
+pkgs.mkShell rec {
+  buildInputs = with pkgs; [
+    clang
+    llvmPackages.bintools
+    rustup
+    qemu_full
+    # OMVFFull
+    # OMVF
+  ];
+  extraCmds = '''';
+  RUSTC_VERSION = pkgs.lib.readFile ./rust-toolchain.toml;
+  # https://github.com/rust-lang/rust-bindgen#environment-variables
+  LIBCLANG_PATH =
+    pkgs.lib.makeLibraryPath [ pkgs.llvmPackages_latest.libclang.lib ];
+  shellHook = ''
+    export REPBUILD_QEMU_FIRMWARE_PATH=${pkgs.OVMF.fd}/FV/OVMF.fd
+
+    export PATH=$PATH:''${CARGO_HOME:-~/.cargo}/bin
+    export PATH=$PATH:''${RUSTUP_HOME:-~/.rustup}/toolchains/$RUSTC_VERSION-x86_64-unknown-linux-gnu/bin/
+  '';
+  # Add precompiled library to rustc search path
+  RUSTFLAGS = (builtins.map (a: "-L ${a}/lib") [
+    # add libraries here (e.g. pkgs.libvmi)
+  ]);
+  # Add glibc, clang, glib and other headers to bindgen search path
+  BINDGEN_EXTRA_CLANG_ARGS =
+    # Includes with normal include path
+    (builtins.map (a: ''-I"${a}/include"'') [
+      # add dev libraries here (e.g. pkgs.libvmi.dev)
+      pkgs.glibc.dev
+    ])
+    # Includes with special directory paths
+    ++ [
+      ''
+        -I"${pkgs.llvmPackages_latest.libclang.lib}/lib/clang/${pkgs.llvmPackages_latest.libclang.version}/include"''
+      ''-I"${pkgs.glib.dev}/include/glib-2.0"''
+      "-I${pkgs.glib.out}/lib/glib-2.0/include/"
+    ];
+
+}

sysdata/libraries/dt_api/src/lib.hb

@@ -1,8 +1,8 @@
-stn := @use("../../stn/src/lib.hb");
+stn := @use("rel:../../stn/src/lib.hb");
 .{string, memory, buffer} := stn
 
 dt_get := fn(query: ^u8): int {
 	message_length := string.length(query)
 
-	return @eca(3, 5, query, message_length)
+	return @eca(int, 3, 5, query, message_length)
 }

sysdata/libraries/horizon_api/src/lib.hb

@@ -1,7 +1,7 @@
-stn := @use("../../stn/src/lib.hb");
+stn := @use("rel:../../stn/src/lib.hb");
 .{string, memory, buffer} := stn
 
-input := @use("../../intouch/src/lib.hb")
+input := @use("rel:../../intouch/src/lib.hb")
 
 WindowID := struct {
 	host_id: int,

sysdata/libraries/ignim/src/application.hb

@@ -1,5 +1,5 @@
-structures := @use("structures.hb")
+structures := @use("rel:structures.hb")
-version := @use("version.hb")
+version := @use("rel:version.hb")
 
 // Refer to here https://registry.khronos.org/vulkan/specs/1.3-extensions/man/html/VkApplicationInfo.html
 ApplicationInfo := struct {

sysdata/libraries/ignim/src/instance.hb

@@ -1,8 +1,8 @@
-application := @use("application.hb");
+application := @use("rel:application.hb");
 .{ApplicationInfo} := application
 
-structures := @use("structures.hb")
+structures := @use("rel:structures.hb")
-errors := @use("errors.hb")
+errors := @use("rel:errors.hb")
 
 // https://registry.khronos.org/vulkan/specs/1.3-extensions/man/html/VkInstanceCreateInfo.html
 InstanceCreateInfo := struct {

sysdata/libraries/ignim/src/lib.hb

@@ -1,16 +1,16 @@
-application := @use("application.hb")
+application := @use("rel:application.hb")
 
-results := @use("results.hb")
+results := @use("rel:results.hb")
-errors := @use("errors.hb")
+errors := @use("rel:errors.hb")
 
-offsets := @use("offset.hb")
+offsets := @use("rel:offset.hb")
-extends := @use("extends.hb")
+extends := @use("rel:extends.hb")
 
-rect := @use("rect.hb")
+rect := @use("rel:rect.hb")
-structures := @use("structures.hb")
+structures := @use("rel:structures.hb")
-instance := @use("instance.hb")
+instance := @use("rel:instance.hb")
 
-version := @use("version.hb")
+version := @use("rel:version.hb")
 
 init_vulkan := fn(): int {
 	return errors.IncompatibleDriver

sysdata/libraries/ignim/src/rect.hb

@@ -1,5 +1,5 @@
-offsets := @use("offset.hb")
+offsets := @use("rel:offset.hb")
-extends := @use("extends.hb")
+extends := @use("rel:extends.hb")
 
 Rect2D := struct {
 	offset: offsets.Offset2D,

sysdata/libraries/intouch/src/keycodes.hb

@@ -6,62 +6,3 @@ Tab := KeyCode.(9)
 Clear := KeyCode.(12)
 Return := KeyCode.(13)
 Pause := KeyCode.(19)
-Escape := KeyCode.(27)
-Space := KeyCode.(32)
-
-A := KeyCode.(97)
-/*
-ETC
-*/
-Z := KeyCode.(122)
-
-Delete := KeyCode.(127)
-
-/*
-ETC
-*/
-
-KeypadNumber0 := KeyCode.(256)
-KeypadNumber1 := KeyCode.(257)
-KeypadNumber2 := KeyCode.(258)
-KeypadNumber3 := KeyCode.(259)
-KeypadNumber4 := KeyCode.(260)
-KeypadNumber5 := KeyCode.(261)
-KeypadNumber6 := KeyCode.(262)
-KeypadNumber7 := KeyCode.(263)
-KeypadNumber8 := KeyCode.(264)
-KeypadNumber9 := KeyCode.(265)
-
-KeypadPeriod := KeyCode.(266)
-KeypadDivide := KeyCode.(267)
-KeypadMultiply := KeyCode.(268)
-KeypadMinus := KeyCode.(269)
-KeypadPlus := KeyCode.(270)
-KeypadEnter := KeyCode.(271)
-KeypadEquals := KeyCode.(272)
-
-NumLock := KeyCode.(300)
-CapsLock := KeyCode.(301)
-ScrollLock := KeyCode.(302)
-
-RightShift := KeyCode.(303)
-LeftShift := KeyCode.(304)
-
-RightControl := KeyCode.(305)
-LeftControl := KeyCode.(306)
-RightAlt := KeyCode.(307)
-LeftAlt := KeyCode.(308)
-RightMeta := KeyCode.(309)
-LeftMeta := KeyCode.(310)
-
-/* Left "Windows" key */
-LeftSuper := KeyCode.(311)
-
-/* Right "Windows" key */
-RightSuper := KeyCode.(312)
-
-/* "Alt Gr" key */
-Mode := KeyCode.(313)
-
-/* Multi-key compose key */
-Compose := KeyCode.(314)

sysdata/libraries/intouch/src/lib.hb

@@ -1,4 +1,4 @@
-keycodes := @use("keycodes.hb");
+keycodes := @use("rel:keycodes.hb");
 .{KeyCode} := keycodes
 
 MouseEvent := struct {

sysdata/libraries/pci/src/lib.hb

@@ -1,4 +1,5 @@
-.{string, memory, buffer, log} := @use("../../stn/src/lib.hb")
+stn := @use("rel:../../stn/src/lib.hb");
+.{string, memory, buffer} := stn
 
 PCIAddress := struct {
 	bus: u8,
@@ -9,7 +10,6 @@ PCIAddress := struct {
 PCI_ID := struct {
 	vendor: u16,
 	device: u16,
-	inner: int,
 }
 
 get_ids := fn(bus: u8, device: u8, function: u8): PCI_ID {
@@ -18,7 +18,7 @@ get_ids := fn(bus: u8, device: u8, function: u8): PCI_ID {
 	dev_id &= 0xFFFF
 
 	vnd_id := res & 0xFFFF
-	return PCI_ID.(dev_id, vnd_id, 0)
+	return PCI_ID.(dev_id, vnd_id)
 }
 
 PciDeviceInfo := struct {
@@ -51,9 +51,9 @@ check_device := fn(bus: u8, device: u8): PciDeviceInfo {
 	pci_id := get_ids(bus, device, 0)
 
 	if pci_id.vendor == 0xFFFF {
-		log.warn(":|\0")
+		stn.log.warn(":|\0")
 	} else {
-		log.info(":)\0")
+		stn.log.info(":)\0")
 	}
 	address := calculate_address(bus, device, 0, 0x8)
 	reg2 := config_read32(bus, device, 0, 0x8)

sysdata/libraries/render/src/lib.hb

@@ -1,5 +1,5 @@
-svga := @use("svga.hb")
+svga := @use("rel:svga.hb")
-software := @use("software.hb")
+software := @use("rel:software.hb")
 
 // default mode
 mode := software

sysdata/libraries/render/src/software.hb

@@ -1,6 +1,6 @@
 .{math, memory} := @use("../../stn/src/lib.hb");
 .{dt_get} := @use("../../dt_api/src/lib.hb");
-.{IVec2} := @use("lib.hb")
+.{IVec2} := @use("rel:lib.hb")
 
 Color := struct {b: u8, g: u8, r: u8, a: u8}
 white := Color.(255, 255, 255, 255)

sysdata/libraries/render/src/svga.hb

@@ -1,4 +1,4 @@
-.{IVec2} := @use("lib.hb")
+.{IVec2} := @use("rel:lib.hb")
 // .{pci, memory, string, log} := @use("../../stn/src/lib.hb");
 
 Color := struct {b: u8, g: u8, r: u8, a: u8}

sysdata/libraries/stn/src/acs.hb

@@ -1,31 +1,16 @@
 //! This is a reserved file for use with the AbleOS Clustering System
 
 HostID := int
-ID := int
 
 FileID := struct {
 	host_id: HostID,
-	id: ID,
+	id: int,
 }
 
 // A DeviceID points to a specific device in the ACS.
 DeviceID := struct {
 	host_id: HostID,
-	id: ID,
+	id: int,
 }
+
 DiskID := DeviceID
-
-BufferID := struct {
-	host_id: HostID,
-	id: ID,
-}
-
-ProcessID := struct {
-	host_id: HostID,
-	id: ID,
-}
-
-WindowID := struct {
-	host_id: HostID,
-	id: ID,
-}

sysdata/libraries/stn/src/buffer.hb

@@ -1,4 +1,4 @@
-string := @use("string.hb")
+string := @use("rel:string.hb")
 
 receive_message := fn(buffer_id: int, memory_map_location: ^u8, length: int): ^u8 {
 	return @eca(4, buffer_id, memory_map_location, length)

sysdata/libraries/stn/src/file_io.hb

@@ -1,4 +1,4 @@
-acs := @use("acs.hb");
+acs := @use("rel:acs.hb");
 .{DiskID, FileID} := acs
 
 // Paths without a node-disk component are to be treated as local files.

sysdata/libraries/stn/src/lib.hb

@@ -1,9 +1,9 @@
-acs := @use("acs.hb")
+acs := @use("rel:acs.hb")
 
-string := @use("string.hb")
+string := @use("rel:string.hb")
-log := @use("log.hb")
+log := @use("rel:log.hb")
-memory := @use("memory.hb")
+memory := @use("rel:memory.hb")
-buffer := @use("buffer.hb")
+buffer := @use("rel:buffer.hb")
-math := @use("math.hb")
+math := @use("rel:math.hb")
-random := @use("random.hb")
+random := @use("rel:random.hb")
-file := @use("file_io.hb")
+file := @use("rel:file_io.hb")

sysdata/libraries/stn/src/log.hb

@@ -1,5 +1,5 @@
-string := @use("string.hb")
+string := @use("rel:string.hb")
-buffer := @use("buffer.hb")
+buffer := @use("rel:buffer.hb")
 
 log := fn(message: ^u8, level: u8): void {
 	message_length := @inline(string.length, message);

sysdata/libraries/stn/src/random.hb

@@ -1,7 +1,7 @@
 integer := fn(): int {
-	return @eca(3, 4)
+	return @eca(int, 3, 4)
 }
 
 integer_range := fn(min: int, max: int): int {
-	return @eca(3, 4) % (max - min + 1) + min
+	return @eca(int, 3, 4) % (max - min + 1) + min
 }

sysdata/programs/filesystem_fat32/src/file.hb

@@ -1,5 +1,5 @@
-attributes := @use("attributes.hb")
+attributes := @use("rel:attributes.hb")
-datetime := @use("datetime.hb")
+datetime := @use("rel:datetime.hb")
 
 FileName := [u8; 11]
 

sysdata/programs/filesystem_fat32/src/main.hb

@@ -1,10 +1,10 @@
 stn := @use("../../../libraries/stn/src/lib.hb");
 .{string, memory, buffer, log} := stn
 
-attributes := @use("attributes.hb")
+attributes := @use("rel:attributes.hb")
-datetime := @use("datetime.hb")
+datetime := @use("rel:datetime.hb")
-directory := @use("file.hb")
+directory := @use("rel:file.hb")
-bios_parameter_block := @use("bios_parameter_block.hb");
+bios_parameter_block := @use("rel:bios_parameter_block.hb");
 .{bpb_sanity_check, ebr_sanity_check, fs_info_sanity_check} := bios_parameter_block;
 .{new_bpb, new_ebr, new_fs_info} := bios_parameter_block
 

sysdata/programs/pumpkin_print/meta.toml

@@ -2,7 +2,6 @@
 name = "pumpkin_print"
 authors = [""]
 
-
 [dependants.libraries]
 
 [dependants.binaries]

sysdata/programs/serial_driver/src/main.hb

@@ -25,7 +25,7 @@ main := fn(): int {
 	mem := memory.request_page(1)
 
 	loop {
-		ptr := @eca(4, a, mem, 0x1000)
+		ptr := @eca(int, 4, a, mem, 0x1000)
 		if ptr == 0 {
 			serial_println("No message\0")
 		}

sysdata/programs/serial_driver_test/src/main.hb

@@ -6,7 +6,7 @@ log_info := fn(): void {
 	} else {
 		msg := "XABC\0"
 		msg_length := @inline(string.length, msg)
-		@eca(3, a, msg, msg_length)
+		@eca(void, 3, a, msg, msg_length)
 	}
 
 	return

sysdata/programs/svga_driver/src/device.hb

@@ -2,25 +2,7 @@ stn := @use("../../../libraries/stn/src/lib.hb");
 .{string, memory, buffer, log} := stn
 
 pci := @use("../../../libraries/pci/src/lib.hb");
-.{PCIAddress, get_ids, config_read32} := pci;
+.{PCIAddress} := pci
-
-.{dt_get} := @use("../../../libraries/dt_api/src/lib.hb")
-
-reg := @use("./reg.hb")
-
-PCI_VENDOR_ID_VMWARE := 0x15AD
-PCI_DEVICE_ID_VMWARE_SVGA2 := 1029
-
-read_reg := fn(svga_dev: ^SVGADevice, index: u32): u32 {
-	memory.outl(svga_dev.ioBase, index)
-	return memory.inl(svga_dev.ioBase + 4)
-}
-
-write_reg := fn(svga_dev: ^SVGADevice, index: u32, value: u32): void {
-	memory.outl(svga_dev.ioBase, index)
-	memory.outl(svga_dev.ioBase + 4, value)
-	return
-}
 
 FIFO := struct {
 	reserved_size: u32,
@@ -70,90 +52,3 @@ svga_device := fn(): SVGADevice {
 	irq := new_irq()
 	return SVGADevice.(pci_addr, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, fifo, irq)
 }
-
-// TODO : this function is broken
-GetBARAddr := fn(addr: PCIAddress, index: int): u32 {
-	//bar := config_read32(addr, offsetof(PCIConfigSpace, BAR[index]));
-	bar := config_read32(0, 3, 0, 0)
-	PCI_CONF_BAR_IO := 0
-
-	mask := 0xF
-
-	/*
-	if bar & PCI_CONF_BAR_IO {
-		0x3
-	} else {
-	}*/
-
-	return bar & (mask ^ 0xFFFFFFFF)
-}
-
-setup_device := fn(svga_dev: ^SVGADevice): void {
-	// TODO: Fix this
-	// refer to https://git.ablecorp.us/able/vmware-svga/src/commit/eea7ddcd0d34702f8f0a33c1933718706c6318c5/lib/refdriver/svga.c#L55
-
-	svga_dev.pciAddr = PCIAddress.(0, 3, 0)
-	pci_dev := pci.check_device(0, 3)
-
-	if pci_dev.device_id.vendor != PCI_VENDOR_ID_VMWARE {
-		log.error("SVGA device not found\0")
-		return
-	}
-	//| pci_dev.device_id.device != PCI_DEVICE_ID_VMWARE_SVGA2 {
-
-	svga_dev.ioBase = config_read32(svga_dev.pciAddr.bus, svga_dev.pciAddr.device, svga_dev.pciAddr.function, 0x10) & 0xFFFFFFF0
-	write_reg(svga_dev, reg.SVGA_REG_ENABLE, reg.SVGA_REG_ENABLE_ENABLE)
-	svga_dev.capabilities = read_reg(svga_dev, 0x1)
-	svga_dev.deviceVersionId = read_reg(svga_dev, 0x2)
-
-	svga_dev.fbMem = GetBARAddr(svga_dev.pciAddr, 1)
-
-	// hardcode values for now
-	svga_dev.width = 1024
-	svga_dev.height = 768
-	svga_dev.bpp = 32
-	svga_dev.pitch = svga_dev.width * 4
-
-	svga_dev.fbSize = svga_dev.width * svga_dev.height * svga_dev.bpp / 8
-
-	svga_dev.vramSize = read_reg(svga_dev, 0x10)
-	log.info("SVGA device initialized successfully\0")
-
-	return
-}
-
-setup_framebuffer := fn(svga_dev: ^SVGADevice): void {
-	write_reg(svga_dev, reg.SVGA_REG_WIDTH, svga_dev.width)
-	write_reg(svga_dev, reg.SVGA_REG_HEIGHT, svga_dev.height)
-	write_reg(svga_dev, reg.SVGA_REG_BITS_PER_PIXEL, svga_dev.bpp)
-
-	log.info("Framebuffer setup complete\0")
-	return
-}
-
-draw_pixel := fn(svga_dev: ^SVGADevice, x: int, y: int, color: u32): void {
-	/*
-	if x >= svga_dev.width || y >= svga_dev.height {
-		return // what happens if we write outside here : )
-	}
-	*/
-
-	offset := y * svga_dev.pitch + x * svga_dev.bpp / 8
-	mem_addr := svga_dev.fbMem + offset
-	memory.outl(mem_addr, color)
-
-	return
-}
-
-clear_screen := fn(svga_dev: ^SVGADevice, color: u32): void {
-	y := 0
-	loop if y == svga_dev.height break else {
-		x := 0
-		loop if x == svga_dev.width break else {
-			draw_pixel(svga_dev, x, y, color)
-			x += 1
-		}
-		y += 1
-	}
-	return
-}

sysdata/programs/svga_driver/src/main.hb

@@ -1,13 +1,22 @@
-device := @use("device.hb")
+device := @use("rel:device.hb")
 pci := @use("../../../libraries/pci/src/lib.hb")
 
 stn := @use("../../../libraries/stn/src/lib.hb");
 .{string, memory, buffer, log} := stn
 
-reg := @use("reg.hb")
+reg := @use("rel:reg.hb")
+
 PCI_VENDOR_ID_VMWARE := 0x15AD
 PCI_DEVICE_ID_VMWARE_SVGA2 := 0x405
 
+init := fn(): void {
+	svga_struct := device.svga_device()
+
+	pci_dev := pci.check_device(0, 2)
+
+	return
+}
+
 write_reg := fn(index: u32, value: u32): void {
 }
 
@@ -17,15 +26,13 @@ SVGA_disable := fn(): void {
 }
 
 main := fn(): int {
-	svga_dev := device.svga_device()
+	a := pci.config_read32(0, 2, 0, 0x8)
+	b := "\0\0\0\0\0\0\0"
 
-	device.setup_device(&svga_dev)
+	string.display_int(a, b)
-	device.setup_framebuffer(&svga_dev)
+	stn.log.info(b)
-	device.draw_pixel(&svga_dev, 100, 100, 0xFF00FFFF)
-	/*
 
+	init()
 
-	device.clear_screen(&svga_dev, 0xFF)
-	*/
 	return 0
 }

sysdata/programs/svga_driver/src/reg.hb

@@ -2,10 +2,3 @@ SVGA_REG_ENABLE_DISABLE := 0
 SVGA_REG_ENABLE_ENABLE := 1
 SVGA_REG_ENABLE_HIDE := 2
 SVGA_REG_ENABLE_ENABLE_HIDE := SVGA_REG_ENABLE_ENABLE | SVGA_REG_ENABLE_HIDE
-
-SVGA_REG_DISABLE := 0
-SVGA_REG_ENABLE := 1
-SVGA_REG_WIDTH := 2
-SVGA_REG_HEIGHT := 3
-SVGA_REG_BITS_PER_PIXEL := 7
-SVGA_REG_BYTES_PER_LINE := 12

sysdata/programs/tests/src/main.hb

@@ -2,7 +2,7 @@
 
 service_search := fn(): void {
 	a := "\{01}\0"
-	@eca(3, 0, a, 2)
+	@eca(void, 3, 0, a, 2)
 
 	return
 }

sysdata/system_config.toml

@@ -20,35 +20,34 @@ resolution = "1024x768x24"
 # [boot.limine.ableos.modules.tests]
 # path = "boot:///tests.hbf"
 
-# [boot.limine.ableos.modules.serial_driver]
+# [boot.limine.ableos.modules.0serial_driver]
 # path = "boot:///serial_driver.hbf"
 
 # [boot.limine.ableos.modules.diskio_driver]
 # path = "boot:///diskio_driver.hbf"
 
-[boot.limine.ableos.modules.render_example]
+# [boot.limine.ableos.modules.render_example]
-path = "boot:///render_example.hbf"
+# path = "boot:///render_example.hbf"
 
 # [boot.limine.ableos.modules.serial_driver_test]
 # path = "boot:///serial_driver_test.hbf"
 
-# [boot.limine.ableos.modules.horizon]
+[boot.limine.ableos.modules.horizon]
-# path = "boot:///horizon.hbf"
+path = "boot:///horizon.hbf"
 
-# [boot.limine.ableos.modules.horizon_testing_program]
+[boot.limine.ableos.modules.horizon_testing_program]
-# path = "boot:///horizon_testing_program.hbf"
+path = "boot:///horizon_testing_program.hbf"
 
 # [boot.limine.ableos.modules.dt_buffer_test]
 # path = "boot:///dt_buffer_test.hbf"
 
-# [boot.limine.ableos.modules.svga_driver]
+[boot.limine.ableos.modules.svga_driver]
-# path = "boot:///svga_driver.hbf"
+path = "boot:///svga_driver.hbf"
 
 [boot.limine.ableos.modules.ps2_driver]
 path = "boot:///ps2_driver.hbf"
 
 # [boot.limine.ableos.modules.filesystem_fat32]
 # path = "boot:///filesystem_fat32.hbf"
-
 # [boot.limine.ableos.modules.pumpkin_print]
 # path = "boot:///pumpkin_print.hbf"