encode register tokens

README.md

@@ -2,50 +2,18 @@ Call me Terry Davis because... actually please don't. I have visions: aspiration
 
 # bootle
 
-hobby kernel written in rust. It's just for playing around... for now :p
+hobby kernel
 
-run with `nix run git+https://git.mtgmonkey.net/andromeda/bootler#bootle`
+status: basically nothing, come back later
 
 # bootler
 
-hobby bootloader written in asm. It's just for playing around... for now :p
+hobby 1-stage legacy mode bootloader
 
-run with `nix run git+https://git.mtgmonkey.net/andromeda/bootler#bootler`
+status: gets to long mode, loads+jumps to kernel, starts idt and gdt... :)
 
-### memory map
+# twasm
 
-```
+hobby self-hosted assembler
-+------ 0x00100000 ------+
+
-| hardware, bios stuff   |
+status: basically nothing, come back later
-+------ 0x00080000 ------+
-|                        |
-|                        |
-+------ 0x00010200 ------+
-| x86_64 kernel          |
-+------ 0x00010000 ------+
-|                        |
-|                        |
-+------ 0x00009000 ------+
-| IDT                    |
-+------ 0x00008000 ------+
-|                        |
-|                        |
-+------ 0x00007E00 ------+
-| bootloader (boot.asm)  |
-+------ 0x00007C00 ------+
-| stack                  | TODO get real stack
-+------ 0x00005000 ------+
-| PT                     |
-+------ 0x00004000 ------+
-| PDT                    |
-+------ 0x00003000 ------+
-| PDPT                   |
-+------ 0x00002000 ------+
-| PML4T                  |
-+------ 0x00001000 ------+
-|                        |
-|                        |
-+------ 0x00000500 ------+
-| bios stuff             |
-+------ 0x00000000 ------+
-```

bootle/README.md

@@ -0,0 +1,28 @@
+# bootle
+
+hobby kernel written in rust. It's just for playing around... for now :p
+
+run with `nix run git+https://git.mtgmonkey.net/andromeda/bootler#bootle`
+
+### memory map
+
+```
++------ 0x00100000 ------+
+| hardware, bios stuff   |
++------ 0x00080000 ------+
+|                        |
+|                        |
++------ 0x00010200 ------+
+| kernel                 |
++------ 0x00010000 ------+
+| bootloader stuff       |
+| includes stack, gdt,   |
+| idt for the time being |
++------ 0x00000500 ------+
+| bios stuff             |
++------ 0x00000000 ------+
+```
+
+---
+
+this project follows [Common Changelog](https://common-changelog.org) guidelines

bootle/package.nix

@@ -6,27 +6,28 @@
   qemu,
   ...
 }: let
-  rust-toolchain = rust-bin.fromRustupToolchainFile ../../rust-toolchain.toml;
+  rust-toolchain = rust-bin.fromRustupToolchainFile ./rust-toolchain.toml;
   naersk' = callPackage naersk {
     cargo = rust-toolchain;
     rustc = rust-toolchain;
     clippy = rust-toolchain;
   };
 in (naersk'.buildPackage {
-  src = ../../.;
+  src = ./.;
 
   # deps for rust-src
   additionalCargoLock = "${rust-toolchain.availableComponents.rust-src}/lib/rustlib/src/rust/library/Cargo.lock";
 
   # just library build
   copyBins = false;
+  copyLibs = true;
   release = true;
 
   # build std
   cargoBuildOptions = x:
     x
     ++ [
-      "-Zbuild-std=core,compiler_builtins"
+      "-Zbuild-std"
     ];
 
   postInstall = ''
@@ -36,7 +37,7 @@ in (naersk'.buildPackage {
       -e _start \
       target/x86_64-unknown-none/release/libbootle.a
 
-    dd if=/dev/zero of=disk bs=512 count=2
+    dd if=/dev/zero of=disk bs=512 count=2880
     dd if=${bootler}/bin/boot.bin of=disk conv=notrunc
     dd if=kernel.bin of=disk bs=512 seek=1 conv=notrunc
 

bootle/src/lib.rs

@@ -12,12 +12,14 @@ pub extern "C" fn _start() -> ! {
 fn print_serial(s: &str) {
     let mut bytes = s.bytes();
     while let Some(b) = bytes.next() {
-        unsafe {core::arch::asm!(
+        unsafe {
+            core::arch::asm!(
                 "out dx, al"
                 , in("al") b
-        )};
+            )
         };
     }
+}
 
 fn println_serial(s: &str) {
     print_serial(s);
@@ -28,7 +30,11 @@ fn welcome_serial() {
     print_serial(ANSI_PINK);
     println_serial("\nWelcome to Bootle OS");
     println_serial("All code GPL licensed and freely available on git.mtgmonkey.net");
-    print_serial("Enjoy your time! Press "); print_serial(ANSI_RED); print_serial("ctrl+a x"); print_serial(ANSI_PINK); println_serial(" to escape Qemu");
+    print_serial("Enjoy your time! Press ");
+    print_serial(ANSI_RED);
+    print_serial("ctrl+a x");
+    print_serial(ANSI_PINK);
+    println_serial(" to escape Qemu");
     print_serial(ANSI_CLEAR);
 }
 
@@ -39,9 +45,7 @@ fn panic(_: &PanicInfo) -> ! {
 }
 
 fn halt() -> ! {
-    unsafe {core::arch::asm!(
+    unsafe { core::arch::asm!("hlt") };
-        "hlt"
-    )};
     halt()
 }
 

bootler/CHANGELOG.md

@@ -0,0 +1,7 @@
+# Changelog
+
+## [0.1.0] - 2026-03-06
+
+### Added
+
+- initialised CHANGELOG.md

bootler/README.md

@@ -0,0 +1,43 @@
+# bootler
+
+hobby bootloader, 1-stage, legacy mode :p
+
+run with `nix run git+https://git.mtgmonkey.net/andromeda/bootler#bootler`
+
+### memory map
+
+```
+.                        .
+:                        :
+| longmode kernel        |
++------ 0x00010000 ------+
+|                        |
+|                        |
++------ 0x00009000 ------+
+| IDT                    |
++------ 0x00008000 ------+
+|                        |
+|                        |
++------ 0x00007E00 ------+
+| bootloader (boot.asm)  |
++------ 0x00007C00 ------+
+| stack                  |
++------ 0x00005000 ------+
+| PT                     |
++------ 0x00004000 ------+
+| PDT                    |
++------ 0x00003000 ------+
+| PDPT                   |
++------ 0x00002000 ------+
+| PML4T                  |
++------ 0x00001000 ------+
+|                        |
+|                        |
++------ 0x00000500 ------+
+| bios stuff             |
++------ 0x00000000 ------+
+```
+
+---
+
+this project follows [Common Changelog](https://common-changelog.org) guidelines

bootler/asm/boot.asm

@@ -6,7 +6,7 @@
 LOAD_ADDR equ 0x7C00
 
 KERNEL_START equ 2             ; first sector on disk to load kernel from; 1 indexed
-KERNEL_SIZE equ 1              ; length of kernel in sectors
+KERNEL_SIZE equ 16             ; length of kernel in sectors
 KERNEL_LOAD_ADDR_ES equ 0x1000 ; kernel to be loaded at es * 0x10 + 0x0000
 
 PAGE_TABLE_LOAD_ADDR equ 0x1000 ; start of page table; 4 * pt size 

bootler/package.nix

@@ -9,19 +9,18 @@ in
   stdenv.mkDerivation {
     pname = "bootler";
     version = "0.1.0";
-    src = ../../.;
+    src = ./.;
     buildPhase = ''
       ${nasm}/bin/nasm asm/boot.asm -o boot.bin
       ${nasm}/bin/nasm asm/kernel.asm -o dummy.bin
 
-      dd if=/dev/zero of=${bootImg} bs=512 count=2
+      dd if=/dev/zero of=${bootImg} bs=512 count=2880
       dd if=boot.bin of=${bootImg} conv=notrunc
       dd if=dummy.bin of=${bootImg} bs=512 seek=1 conv=notrunc
     '';
     installPhase = ''
       mkdir -p $out/bin
       cp boot.bin $out/bin
-      cp dummy.bin $out/bin
       cp ${bootImg} $out/bin
 
       # create emulation binary

flake.nix

@@ -18,20 +18,25 @@
     ...
   }: let
     system = "x86_64-linux";
-    pkgs = import nixpkgs {
+    pkgs = nixpkgs.legacyPackages.${system};
-      inherit system;
+    pkgsWithRustOverlay = pkgs.extend (import rust-overlay);
-      overlays = [(import rust-overlay)];
-    };
   in {
     packages.${system} = {
-      bootler = pkgs.callPackage ./nix/pkgs/bootler.nix {};
+      bootler = pkgs.callPackage ./bootler/package.nix {};
-      bootle = pkgs.callPackage ./nix/pkgs/bootle.nix {
+      bootle = pkgsWithRustOverlay.callPackage ./bootle/package.nix {
-        naersk = naersk;
+        inherit naersk;
+        bootler = self.packages.${system}.bootler;
+      };
+      twasm = pkgs.callPackage ./twasm/package.nix {
         bootler = self.packages.${system}.bootler;
       };
     };
     devShells.${system}.default = pkgs.mkShell {
-      inputsFrom = [self.packages.${system}.default];
+      inputsFrom = [
+        self.packages.${system}.bootle
+        self.packages.${system}.bootler
+        self.packages.${system}.twasm
+      ];
     };
   };
 }

nix/package.nix

@@ -1,47 +0,0 @@
-{
-  stdenv,
-  nasm,
-  qemu,
-  ...
-}: let
-  bootImg = "boot";
-in
-  stdenv.mkDerivation {
-    pname = "bootler";
-    version = "0.1.0";
-    src = ../.;
-    buildPhase = ''
-      ${nasm}/bin/nasm asm/boot.asm -o boot.bin
-      ${nasm}/bin/nasm asm/kernel.asm -o kernel.bin
-
-      dd if=/dev/zero of=${bootImg} bs=512 count=2
-      dd if=boot.bin of=${bootImg} conv=notrunc
-      dd if=kernel.bin of=${bootImg} bs=512 seek=1 conv=notrunc
-    '';
-    installPhase = ''
-      mkdir -p $out/bin
-      cp ${bootImg} $out/bin
-
-      # create emulation binary
-      cat<<EOF>$out/bin/bootler
-      #!/usr/bin/env bash
-
-      # create temp dir
-      mkdir -p ./.bootler
-      cp $(echo $out)/bin/${bootImg} ./.bootler/${bootImg}
-      chmod a+w ./.bootler/${bootImg}
-
-      # run image
-      ${qemu}/bin/qemu-system-x86_64 \
-        -nographic \
-        -drive file=./.bootler/${bootImg},format=raw,index=0,media=disk
-
-      # clean up
-      rm ./.bootler -r
-
-      EOF
-
-      chmod +x $out/bin/${bootImg}
-      chmod +x $out/bin/bootler
-    '';
-  }

twasm/README.md

@@ -0,0 +1,130 @@
+# twasm
+
+this will be a self hosted, very minimal subset of 64 bit asm
+
+### goals
+
+I want to compile Bootler and Twasm with the Twasm assembler
+
+### memory map
+
+```
++------ 0x00100000 ------+
+| hardware, bios stuff   |
++------ 0x00080000 ------+
+| output binary          |
++------ 0x00070000 ------+
+| token table            |
++------ 0x00060000 ------+
+| stack (rsp)            |
++------------------------+
+| input                  |
++------------------------+ this is lined up to a sector
+|                        | and this is less than a sector
++------------------------+
+| assembler              |
++------ 0x00010000 ------+
+| bootloader, bios, etc. |
++------------------------+
+```
+
+each word represents a token on the token table.
+
+#### token table (TT)
+
+each token gets loaded into the token table with the following form:
+
+```
++----------+-----------------------+
+| 31    16 | 15                  0 |
++----------+-----------------------+
+| reserved | token id              |
++----------+-----------------------+
+```
+
+### token IDs
+
+supported tokens are listed below
+
+| token | id     | notes |
+|-------|--------|-|
+| rax   | 0x0000 | |
+| rbx   | 0x0001 | |
+| rcx   | 0x0002 | |
+| rdx   | 0x0003 | |
+| rsi   | 0x0004 | |
+| rdi   | 0x0005 | |
+| rsp   | 0x0006 | |
+| rbp   | 0x0007 | |
+| r8    | 0x0008 | |
+| r9    | 0x0009 | |
+| r10   | 0x000A | |
+| r11   | 0x000B | |
+| r12   | 0x000C | |
+| r13   | 0x000D | |
+| r14   | 0x000E | |
+| r15   | 0x000F | |
+| eax   | 0x0010 | |
+| ebx   | 0x0011 | |
+| ecx   | 0x0012 | |
+| edx   | 0x0013 | |
+| esi   | 0x0014 | |
+| edi   | 0x0015 | |
+| esp   | 0x0016 | |
+| ebp   | 0x0017 | |
+| r8d   | 0x0018 | |
+| r9d   | 0x0019 | |
+| r10d  | 0x001A | |
+| r11d  | 0x001B | |
+| r12d  | 0x001C | |
+| r13d  | 0x001D | |
+| r14d  | 0x001E | |
+| r15d  | 0x001F | |
+| ax    | 0x0020 | |
+| bx    | 0x0021 | |
+| cx    | 0x0022 | |
+| dx    | 0x0023 | |
+| si    | 0x0024 | |
+| di    | 0x0025 | |
+| sp    | 0x0026 | |
+| bp    | 0x0027 | |
+| r8w   | 0x0028 | |
+| r9w   | 0x0029 | |
+| r10w  | 0x002A | |
+| r11w  | 0x002B | |
+| r12w  | 0x002C | |
+| r13w  | 0x002D | |
+| r14w  | 0x002E | |
+| r15w  | 0x002F | |
+| al    | 0x0030 | |
+| bl    | 0x0031 | |
+| cl    | 0x0032 | |
+| dl    | 0x0033 | |
+| sil   | 0x0034 | |
+| dil   | 0x0035 | |
+| spl   | 0x0036 | |
+| bpl   | 0x0037 | |
+| r8b   | 0x0038 | |
+| r9b   | 0x0039 | |
+| r10b  | 0x003A | |
+| r11b  | 0x003B | |
+| r12b  | 0x003C | |
+| r13b  | 0x003D | |
+| r14b  | 0x003E | |
+| r15b  | 0x003F | |
+| ah    | 0x0040 | |
+| bh    | 0x0041 | |
+| ch    | 0x0042 | |
+| dh    | 0x0043 | |
+| cs    | 0x0044 | |
+| ds    | 0x0045 | |
+| es    | 0x0046 | |
+| fs    | 0x0047 | |
+| gs    | 0x0048 | |
+| ss    | 0x0049 | |
+| cr0   | 0x004A | |
+| cr2   | 0x004B | |
+| cr3   | 0x004C | |
+| cr4   | 0x004D | |
+| cr8   | 0x004E | |
+|       | 0xFFFF | unrecognised token |

twasm/asm/main.asm

@@ -0,0 +1,569 @@
+LOAD_ADDR equ 0x00010000 ; address this program is loaded at
+
+TOKEN_TABLE_ADDR equ 0x00060000 ; address the token table is loaded at
+TOKEN_TABLE_SIZE equ 0x1000     ; max length of table
+
+TEST_ARENA_ADDR equ 0x00060000 ; address to run tests at
+TEST_ARENA_SIZE equ 0x1000     ; maximum size tests can use
+
+OUTPUT_ADDR equ 0x00070000 ; address of outputed binary
+OUTPUT_SIZE equ 0x1000     ; max length of outputed binary
+
+STACK_ADDR equ 0x00060000 ; address to put the 64-bit stack at
+
+[bits 64]
+[org LOAD_ADDR]
+
+start:
+  mov rsp, STACK_ADDR ; we might need more stack space, let's just be safe
+
+  mov rsi, msg_welcome
+  call print
+
+  call run_tests
+
+  call clear_token_table
+
+  jmp halt
+
+; ------------------------------------------------------------------------------
+; tokenising
+; ------------------------------------------------------------------------------
+
+; ------------------------------------------------------------------------------
+; copy_token 
+;
+; description:
+; copies a token from one spot in memory to another
+;
+; parameters:
+; rdi -> start of buffer to be read
+; rsi -> start of buffer to be written
+;
+; returned:
+; rax -> last byte read
+; rdx -> last byte written
+; ------------------------------------------------------------------------------
+
+copy_token:
+  .loop:
+
+    mov dl, [rdi] ; move bit to compare to current byte in read buffer
+
+    push rdi ; push incrementors to call elemb
+    push rsi ;
+
+    mov rdi, 8                  ; length of terminator list
+    mov rsi, token_terminator_8 ; start of terminator list
+                                ; dl set before pushing rdi
+    call elemb
+
+    pop rsi ;
+    pop rdi ; pop incrementors after call
+
+    cmp rax, 1 ; check if the next character is a token terminator
+    je .break  ; > if so, break the function
+
+    ; rdi and rsi set from previous loop iteration
+    call copy_byte ; if not, copy the current byte in read buffer
+
+    inc rdi ; read pointer
+    inc rsi ; write pointer
+
+    jmp .loop
+
+  .break:
+    mov rax, rdi ; -> last byte read
+    mov rdx, rsi ; -> last byte written
+    ret
+    
+; ------------------------------------------------------------------------------
+; copy_byte
+;
+; description:
+; copies a byte from one spot in memory to another
+;
+; parameters:
+; rdi -> word to be read
+; rsi -> word to be written
+;
+; returned:
+; al = byte that was read; the rest of rax is zeroed
+; ------------------------------------------------------------------------------
+
+copy_byte:
+  xor rax, rax ; zero out so it returns fine
+  mov al, [rdi]
+  mov [rsi], al
+  ret
+
+; ------------------------------------------------------------------------------
+; utilities
+; ------------------------------------------------------------------------------
+
+; ------------------------------------------------------------------------------
+; print
+;
+; description:
+; prints a null-terminated string
+;
+; parameters:
+; rsi -> start of null-terminated string
+; ------------------------------------------------------------------------------
+
+print:
+  push rdx
+  mov rdx, 0x3F8
+  .loop:
+    mov al, [rsi]
+    test al, al
+    jz .done
+    out dx, al
+    inc rsi
+    jmp .loop
+  .done:
+    pop rdx
+    ret
+
+; ------------------------------------------------------------------------------
+; halt
+;
+; description:
+; halts the program, silly :)
+; ------------------------------------------------------------------------------
+
+halt:
+  mov rsi, msg_halt
+  call print
+  hlt
+  jmp halt
+
+; ------------------------------------------------------------------------------
+; elemb
+;
+; description:
+; checks if given byte is element of the specified list
+;
+; parameters:
+; rdi = size of list
+; rsi -> start of list
+; dl =  given byte
+;
+; returned:
+; rax = 0: is not an element
+;       1: is an element
+; ------------------------------------------------------------------------------
+
+elemb:
+  .loop
+    cmp rdi, 0    ; check if remaining length 0
+    je .not_found ; if so, break; dl not an element of list
+
+    mov al, [rsi]
+    cmp al, dl    ; check if current byte in list is the desired byte
+    je .found     ; if so, break; dl an element of list
+
+    inc rsi ; move to next byte
+    dec rdi ; and reduce remaining length
+
+    jmp .loop
+
+  .not_found
+    xor rax, rax ; return 0; dl not an element of list
+    ret
+
+  .found
+    xor rax, rax
+    mov rax, 1 ; return 1; dl an element of list
+    ret
+
+  .f db "found", 0x0D, 0x0A, 0x00
+  .nf db "not found", 0x0D, 0x0A, 0x00
+
+; ------------------------------------------------------------------------------
+; clear_token_table
+;
+; description:
+; clears the token table as specified by TOKEN_TABLE_SIZE and TOKEN_TABLE_ADDR
+; ------------------------------------------------------------------------------
+
+clear_token_table:
+  xor rax, rax                  ; value to write
+  mov rcx, TOKEN_TABLE_SIZE / 4 ; number of double words
+  mov rdi, TOKEN_TABLE_ADDR     ; address to start
+  rep stosd
+  ret
+
+; ------------------------------------------------------------------------------
+; clear_test_arena
+;
+; description:
+; clears the test arena as specified by TEST_ARENA_SIZE and TEST_ARENA_ADDR
+; ------------------------------------------------------------------------------
+
+clear_test_arena:
+  xor rax, rax                  ; value to write
+  mov rcx, TOKEN_TABLE_SIZE / 4 ; number of double words
+  mov rdi, TOKEN_TABLE_ADDR     ; address to start
+  rep stosd
+  ret
+
+; ------------------------------------------------------------------------------
+; tests
+; ------------------------------------------------------------------------------
+
+; ------------------------------------------------------------------------------
+; run_tests
+;
+; description:
+; runs all tests
+; ------------------------------------------------------------------------------
+
+run_tests:
+  mov rsi, .msg
+  call print
+
+  call clear_test_arena
+  call test_copy_byte
+
+  call clear_test_arena
+  call test_copy_token
+
+  call clear_test_arena
+  call test_elemb
+
+  ret
+  .msg db "running test suite...", 0x0D, 0x0A, 0x00
+
+; ------------------------------------------------------------------------------
+; test_copy_byte
+;
+; description:
+; tests copy_byte described functionality
+; ------------------------------------------------------------------------------
+
+test_copy_byte:
+  mov rsi, .msg
+  call print
+
+  mov rdi, test_byte       ; byte to be copied
+  mov rsi, TEST_ARENA_ADDR ; location of test
+  call copy_byte
+
+  mov cx, [rsi]
+  and ax, 0xFF ; only compare bottom byte
+  and cx, 0xFF
+  cmp ax, cx ; compare returned byte to copied byte
+  jne .fail
+  cmp al, [test_byte] ; compare returned byte to expected byte
+  jne .fail
+
+  .pass:
+    mov rsi, msg_pass
+    call print
+    ret
+  .fail:
+    mov rsi, msg_fail
+    call print
+    ret
+  .msg db "test_copy_byte...", 0x00
+
+; ------------------------------------------------------------------------------
+; test_copy_token
+;
+; description:
+; tests copy_token described functionality
+; ------------------------------------------------------------------------------
+
+test_copy_token:
+  mov rsi, .msg
+  call print
+
+  ; test case: space terminated
+
+  mov rdi, test_token_space ; read buffer
+  mov rsi, TEST_ARENA_ADDR  ; write buffer
+  call copy_token
+
+  ; check reported final indicies with the expected final indicies
+  cmp rax, test_token_space + 8 ; last byte read
+  jne .fail
+  cmp rdx, TEST_ARENA_ADDR + 8 ; last byte written
+  jne .fail
+
+  mov rsi, TEST_ARENA_ADDR
+  mov rcx, [rsi]
+  cmp rcx, [test_token_space] ; check if copied token matches expected token
+  jne .fail                   ; if not, fail
+
+  ; test case: null terminated
+
+  mov rdi, test_token_null ; read buffer
+  mov rsi, TEST_ARENA_ADDR ; write buffer
+  call copy_token
+
+  ; check reported final indicies with the expected final indicies
+  cmp rax, test_token_null + 8 ; last byte read
+  jne .fail
+  cmp rdx, TEST_ARENA_ADDR + 8 ; last byte written
+  jne .fail
+
+  mov rsi, TEST_ARENA_ADDR
+  mov rcx, [rsi]
+  cmp rcx, [test_token_null] ; check if copied token matches expected token
+  jne .fail                  ; if not, fail
+
+  .pass:
+    mov rsi, msg_pass
+    call print
+    ret
+  .fail:
+    mov rsi, msg_fail
+    call print
+    ret
+  .msg db "test_copy_token...", 0x00
+
+; ------------------------------------------------------------------------------
+; test_elemb
+;
+; description:
+; tests elemb described functionality
+; ------------------------------------------------------------------------------
+
+test_elemb:
+  mov rsi, .msg
+  call print
+
+  ; [0]
+  mov rdi, 5
+  mov rsi, test_elemb_5
+  mov dl, [test_elemb_5]
+  call elemb
+  cmp al, 1
+  jne .fail
+
+  ; [n - 1]
+  mov rdi, 5
+  mov rsi, test_elemb_5
+  mov dl, [test_elemb_5 + 4]
+  call elemb
+  cmp al, 1
+  jne .fail
+
+  ; [1]
+  mov rdi, 5
+  mov rsi, test_elemb_5
+  mov dl, [test_elemb_5 + 1]
+  call elemb
+  cmp al, 1
+  jne .fail
+
+  ; not present
+  mov rdi, 5
+  mov rsi, test_elemb_5
+  mov dl, 0xDA
+  call elemb
+  cmp al, 0
+  jne .fail
+
+  ; 0 length list
+  mov rdi, 0
+  mov rsi, test_elemb_0
+  mov dl, 0x34
+  call elemb
+  cmp al, 0
+  jne .fail
+
+  .pass:
+    mov rsi, msg_pass
+    call print
+    ret
+  .fail:
+    mov rsi, msg_fail
+    call print
+    ret
+  .msg db "test_elemb...", 0x00
+
+; ------------------------------------------------------------------------------
+; data
+; ------------------------------------------------------------------------------
+
+tokens:
+  .length2
+    db "r8"
+    dw 0x0008
+    db "r9"
+    dw 0x0009
+    db "ax"
+    dw 0x0020
+    db "bx"
+    dw 0x0021
+    db "cx"
+    dw 0x0022
+    db "dx"
+    dw 0x0023
+    db "si"
+    dw 0x0024
+    db "di"
+    dw 0x0025
+    db "sp"
+    dw 0x0026
+    db "bp"
+    dw 0x0027
+    db "al"
+    dw 0x0030
+    db "bl"
+    dw 0x0031
+    db "cl"
+    dw 0x0032
+    db "dl"
+    dw 0x0033
+    db "ah"
+    dw 0x0040
+    db "bh"
+    dw 0x0041
+    db "ch"
+    dw 0x0042
+    db "dh"
+    dw 0x0043
+    db "cs"
+    dw 0x0044
+    db "ds"
+    dw 0x0045
+    db "es"
+    dw 0x0046
+    db "fs"
+    dw 0x0047
+    db "gs"
+    dw 0x0048
+    db "ss"
+    dw 0x0049
+  .length3
+    db "rax"
+    dw 0x0000
+    db "rbx"
+    dw 0x0001
+    db "rcx"
+    dw 0x0002
+    db "rdx"
+    dw 0x0003
+    db "rsi"
+    dw 0x0004
+    db "rdi"
+    dw 0x0005
+    db "rsp"
+    dw 0x0006
+    db "rbp"
+    dw 0x0007
+    db "r10"
+    dw 0x000A
+    db "r11"
+    dw 0x000B
+    db "r12"
+    dw 0x000C
+    db "r13"
+    dw 0x000D
+    db "r14"
+    dw 0x000E
+    db "r15"
+    dw 0x000F
+    db "eax"
+    dw 0x0010
+    db "ebx"
+    dw 0x0011
+    db "ecx"
+    dw 0x0012
+    db "edx"
+    dw 0x0013
+    db "esi"
+    dw 0x0014
+    db "edi"
+    dw 0x0015
+    db "esp"
+    dw 0x0016
+    db "ebp"
+    dw 0x0017
+    db "r8d"
+    dw 0x0018
+    db "r9d"
+    dw 0x0019
+    db "r8w"
+    dw 0x0028
+    db "r9w"
+    dw 0x0029
+    db "sil"
+    dw 0x0034
+    db "dil"
+    dw 0x0035
+    db "spl"
+    dw 0x0036
+    db "bpl"
+    dw 0x0037
+    db "r8b"
+    dw 0x0038
+    db "r9b"
+    dw 0x0039
+    db "cr0"
+    dw 0x004A
+    db "cr2"
+    dw 0x004B
+    db "cr3"
+    dw 0x004C
+    db "cr4"
+    dw 0x004D
+    db "cr8"
+    dw 0x004E
+  .length4
+    db "r10d"
+    dw 0x001A
+    db "r11d"
+    dw 0x001B
+    db "r12d"
+    dw 0x001C
+    db "r13d"
+    dw 0x001D
+    db "r14d"
+    dw 0x001E
+    db "r15d"
+    dw 0x001F
+    db "r10w"
+    dw 0x002A
+    db "r11w"
+    dw 0x002B
+    db "r12w"
+    dw 0x002C
+    db "r13w"
+    dw 0x002D
+    db "r14w"
+    dw 0x002E
+    db "r15w"
+    dw 0x002F
+    db "r10b"
+    dw 0x003A
+    db "r11b"
+    dw 0x003B
+    db "r12b"
+    dw 0x003C
+    db "r13b"
+    dw 0x003D
+    db "r14b"
+    dw 0x003E
+    db "r15b"
+    dw 0x003F
+  .length5
+  .end
+
+msg_welcome db "Welcome to Twasm", 0x0D, 0x0A, 0x00
+msg_halt db "halted.", 0x0D, 0x0A, 0x00
+msg_pass db "passed.", 0x0D, 0x0A, 0x00
+msg_fail db "failed.", 0x0D, 0x0A, 0x00
+
+test_byte db "Q" ; unterminated, just a byte chillin
+test_token_null db "TestTokn", 0x00 ; followed by null terminator. Quad word
+test_token_space db "TestTokn " ; followed by space. Quad word
+test_elemb_0
+test_elemb_5 db 0x54, 0x00, 0x21, 0x20, 0x34
+
+token_terminator_8 db 0x00, " ", 0x0A, 0x0D, 0x00, 0x00, 0x00, 0x00
+
+debug_string db "debug_string", 0x0D, 0x0A, 0x00

twasm/package.nix

@@ -0,0 +1,42 @@
+{
+  bootler,
+  stdenv,
+  nasm,
+  qemu,
+  ...
+}:
+stdenv.mkDerivation {
+  pname = "twasm";
+  version = "0.1.0";
+  src = ./.;
+  buildPhase = ''
+    ${nasm}/bin/nasm asm/main.asm -o out.bin
+  '';
+  installPhase = ''
+    dd if=/dev/zero of=disk bs=512 count=2880
+    dd if=${bootler}/bin/boot.bin of=disk conv=notrunc
+    dd if=out.bin of=disk bs=512 seek=1 conv=notrunc
+
+    mkdir -p $out/bin
+
+    cat<<EOF>$out/bin/twasm
+    #!/usr/bin/env bash
+
+    mkdir -p ./.bootle
+    cp $(echo $out)/bin/disk ./.bootle/disk
+    chmod a+w ./.bootle/disk
+
+    ${qemu}/bin/qemu-system-x86_64 \
+      -nographic \
+      -s \
+      -drive file=./.bootle/disk,format=raw,index=0,media=disk
+
+    rm ./.bootle -r
+    EOF
+
+    chmod +x $out/bin/twasm
+
+    cp out.bin $out/bin
+    cp disk $out/bin
+  '';
+}