Integrate x86_64 desktop boot and extend VirtualBox validation

.gitignore

@@ -1,6 +1,8 @@
 /lib/*.ppu
 /lib/*.a
 /lib/*.o
+/lib/x86_64/
+/bin/x86_64/
 /release/*.svg
 /release/*.iso
 /bin/*.bin

Dockerfile

@@ -6,7 +6,7 @@ ENV DEBIAN_FRONTEND=noninteractive
 RUN dpkg --add-architecture i386
 RUN apt-get update && apt-get install -y \
 	curl dos2unix wget git make nasm binutils xorriso grub-pc-bin gcc gcc-multilib \
-	python3 python3-pip python3-pil && \
+	python3 python3-pip python3-pil fp-compiler && \
 	apt-get clean my room
 
 RUN pip3 install --no-cache-dir --break-system-packages "mkdocs>=1.6,<2" mkdocs-material
@@ -20,6 +20,6 @@ RUN curl -sL https://sourceforge.net/projects/freepascal/files/Linux/$FPC_VERSIO
 ADD https://raw.githubusercontent.com/fsaintjacques/semver-tool/master/src/semver /usr/bin/semver
 RUN chmod +x /usr/bin/semver
 WORKDIR /code
-RUN find . -type f -print0 | xargs -0 dos2unix
+# Sources are mounted at runtime; the CMD below normalizes build scripts.
 ENTRYPOINT ["/bin/bash", "-c"]
 CMD ["find toolchain -name '*.sh' -exec dos2unix {} + 2>/dev/null; find toolchain -name '*.sh' -exec chmod +x {} +; bash toolchain/compile.sh"]

compat/lmemorymanager.pas

@@ -22,12 +22,12 @@ type
     THeapPageHeader = memory.heap.THeapPageHeader;
 
 procedure init;
-function kalloc(size : uint32) : void;
-function klalloc(size : uint32) : void;
-procedure klfree(address : uint32);
-function kpalloc(address : uint32) : void;
+function kalloc(size : SizeUInt) : void;
+function klalloc(size : SizeUInt) : void;
+procedure klfree(address : PtrUInt);
+function kpalloc(address : PtrUInt) : void;
 procedure kfree(area : void);
-function lmm_total_free : uint32;
+function lmm_total_free : SizeUInt;
 function lmm_page_count : uint32;
 
 implementation
@@ -37,22 +37,22 @@ begin
     memory.heap.init;
 end;
 
-function kalloc(size : uint32) : void; inline;
+function kalloc(size : SizeUInt) : void; inline;
 begin
     kalloc := memory.heap.kalloc(size);
 end;
 
-function klalloc(size : uint32) : void; inline;
+function klalloc(size : SizeUInt) : void; inline;
 begin
     klalloc := memory.heap.klalloc(size);
 end;
 
-procedure klfree(address : uint32); inline;
+procedure klfree(address : PtrUInt); inline;
 begin
     memory.heap.klfree(address);
 end;
 
-function kpalloc(address : uint32) : void; inline;
+function kpalloc(address : PtrUInt) : void; inline;
 begin
     kpalloc := memory.heap.kpalloc(address);
 end;
@@ -62,7 +62,7 @@ begin
     memory.heap.kfree(area);
 end;
 
-function lmm_total_free : uint32; inline;
+function lmm_total_free : SizeUInt; inline;
 begin
     lmm_total_free := memory.heap.lmm_total_free;
 end;

doc/planning/memoryallocator.md

@@ -205,7 +205,7 @@ Key constants:
 - `DATA_OFFSET = $10000` — data area starts at 64 KB into each page
 - `LARGE_ALLOC_MAGIC = $FFFFFFFE` — sentinel for klalloc'd multi-page allocations
 
-Interrupt safety: `pushfd; cli; pop saved_flags` (stack-balanced) + `restore_if(saved_flags)`
+Interrupt safety: `pushfd; cli; pop saved_flags` (stack-balanced) + `arch.platform.cpu.unlock(saved_flags)`
 inline procedure that only restores IF via `sti`, avoiding dangerous EFLAGS restoration
 (IOPL, NT, VM, AC bits that caused Bad-TSS on IRET).
 
@@ -256,7 +256,7 @@ list, fixes Search_Page, calls `free_page_at_address`). Skips Root_Page.
 
 | Bug | Root Cause | Fix |
 |-----|-----------|-----|
-| Bad TSS exception during network processing | `pushfd`/`popfd` across separate asm blocks: FPC doesn't track ESP changes in asm, causing EFLAGS corruption (NT=1, IOPL wrong) → Bad TSS on IRET | Stack-balanced `pushfd; cli; pop local_var` + `restore_if()` that only does `sti` if IF was set |
+| Bad TSS exception during network processing | `pushfd`/`popfd` across separate asm blocks: FPC doesn't track ESP changes in asm, causing EFLAGS corruption (NT=1, IOPL wrong) → Bad TSS on IRET | Stack-balanced `pushfd; cli; pop local_var` + `arch.platform.cpu.unlock()` that only does `sti` if IF was set |
 | GPF from SSE MOVAPS in doublebuffer flush | `SIZE_PREFIX=4`→8 gave 8-byte alignment; `MOVAPS` needs 16-byte. `klalloc` returned `page+8` (not 16-aligned) | `SIZE_PREFIX=16` (4B size + 12B pad), klalloc header expanded to 16 bytes |
 | Pages never freed (historic) | `free_page` extracted wrong block index from PDE Address field | Fixed extraction to `Address SHR 10` — page freeing works for the first time |
 

doc/src/driver/storage/ctl/driver.storage.ctl.usb.md

@@ -1,3 +1,20 @@
+<!--
+Copyright 2026 Aaron Hance
+Author: Aaron Hance <[email protected]>
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+-->
+
 # USB mass storage
 
 `driver.storage.ctl.usb` implements SCSI transparent commands over USB Mass

doc/src/driver/storage/driver.storage.mgr.md

@@ -1,3 +1,20 @@
+<!--
+Copyright 2026 Aaron Hance
+Author: Aaron Hance <[email protected]>
+
+Licensed under the Apache License, Version 2.0 (the "License");
+you may not use this file except in compliance with the License.
+You may obtain a copy of the License at
+
+http://www.apache.org/licenses/LICENSE-2.0
+
+Unless required by applicable law or agreed to in writing, software
+distributed under the License is distributed on an "AS IS" BASIS,
+WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+See the License for the specific language governing permissions and
+limitations under the License.
+-->
+
 # driver.storage.mgr
 
 Physical storage device registry and I/O dispatch manager.

doc/src/memory/memory.heap.md

@@ -19,7 +19,7 @@ Every allocation is preceded by a 16-byte prefix: 4 bytes for the unit count, 12
 
 Allocations larger than a single heap page's capacity are handled by `klalloc`, which maps contiguous virtual pages and stores a magic sentinel (`$FFFFFFFE`) in the header so `kfree` can identify them and call `klfree` instead of the normal bitmap path.
 
-`kalloc` and `kfree` disable interrupts for the duration of their critical sections using a stack-balanced `pushfd`/`cli`/`pop` sequence and restore the interrupt flag via `restore_if` on all exit paths.
+`kalloc` and `kfree` disable interrupts for the duration of their critical sections using a stack-balanced `pushfd`/`cli`/`pop` sequence and restore the interrupt flag via `arch.platform.cpu.unlock` on all exit paths.
 
 ## Dependencies
 
@@ -132,7 +132,7 @@ Returns the number of heap pages currently in the linked list.
 
 ## Notes
 
-The `restore_if` helper checks bit 9 (IF) of the saved EFLAGS word and issues `STI` only if interrupts were enabled on entry. It uses `STI` rather than `POPFD` to avoid restoring potentially dangerous EFLAGS bits (IOPL, NT, VM, AC) that could trigger a General Protection Fault or Bad-TSS on the next `IRET`.
+The `arch.platform.cpu.unlock` helper checks bit 9 (IF) of the saved EFLAGS word and issues `STI` only if interrupts were enabled on entry. It uses `STI` rather than `POPFD` to avoid restoring potentially dangerous EFLAGS bits (IOPL, NT, VM, AC) that could trigger a General Protection Fault or Bad-TSS on the next `IRET`.
 
 When `DEBUG_LMM` is defined, `kalloc` allocates one additional unit and writes `GUARD_MAGIC` at the end of the allocation. `kfree` verifies this sentinel before freeing; a mismatch triggers a GPF with a syslog error, catching buffer overruns at free time.
 

docker-compose.yml

@@ -1,5 +1,8 @@
 services:
   builder:
     build: .
+    environment:
+      ASURO_ARCH: ${ASURO_ARCH:-x86}
+      ASURO_BOOT_TEST: ${ASURO_BOOT_TEST:-none}
     volumes:
       - .:/code

mkdocs.yml

@@ -295,6 +295,7 @@ nav:
 
   - Planning:
     - Architecture: planning/architecture.md
+    - x86-64 Migration: planning/x86_64.md
     - USB: planning/USB.md
     - XHCI: planning/XHCI.md
     - FlatFS: planning/flatfs.md

src/app/app.base64.pas

@@ -22,7 +22,7 @@ unit app.base64;
 interface
 
 uses
-    io.stdio, core.util, arch.x86.util, core.strings, debug.tracer, core.enc.base64, memory.heap;
+    io.stdio, core.util, arch.platform.cpu, core.strings, debug.tracer, core.enc.base64, memory.heap;
 
 procedure init();
 

src/app/app.dhclient.pas

@@ -22,7 +22,7 @@ unit app.dhclient;
 interface
 
 uses
-    io.stdio, core.util, arch.x86.util, core.strings, debug.tracer, driver.net.proto.dhcp;
+    io.stdio, core.util, arch.platform.cpu, core.strings, debug.tracer, driver.net.proto.dhcp;
 
 procedure init();
 

src/app/app.diskcmd.pas

@@ -25,7 +25,7 @@ uses
     core.strings,
     io.stdio,
     debug.tracer,
-    core.util, arch.x86.util,
+    core.util, arch.platform.cpu,
     driver.storage.vol.mgr;
 
 var
@@ -254,7 +254,7 @@ begin
     { Allocate a zero buffer - 64 sectors at a time }
     bufSects := 64;
     buf := puint32(kalloc(bufSects * device^.sectorSize));
-    memset(uint32(buf), 0, bufSects * device^.sectorSize);
+    memset(PtrUInt(buf), 0, bufSects * device^.sectorSize);
 
     print('Wiping device ');
     printint(idx);

src/app/app.diskutil.pas

@@ -34,7 +34,7 @@ uses
     driver.video,
     driver.storage.vol.mgr,
     driver.video.windows,
-    core.util, arch.x86.util;
+    core.util, arch.platform.cpu;
 
 const
     WIN_W = 740;
@@ -129,9 +129,9 @@ begin
     item := PUIText(kalloc(sizeof(TUIText)+n+m+1));
     if item = nil then exit;
     item^.Next := TextTemps; TextTemps := item;
-    dest := pchar(uint32(item)+sizeof(TUIText));
-    if n > 0 then memcpy(uint32(a), uint32(dest), n);
-    if m > 0 then memcpy(uint32(b), uint32(dest)+n, m);
+    dest := pchar(PtrUInt(item)+sizeof(TUIText));
+    if n > 0 then memcpy(PtrUInt(a), PtrUInt(dest), n);
+    if m > 0 then memcpy(PtrUInt(b), PtrUInt(dest)+n, m);
     dest[n+m] := #0; uiConcat := dest;
 end;
 
@@ -606,7 +606,7 @@ begin
         end;
     end;
 
-    memset(uint32(@part), 0, sizeof(TPartition_table));
+    memset(PtrUInt(@part), 0, sizeof(TPartition_table));
     driver.storage.vol.mbr.setup_partition(@part, lba, sectors);
     cbCtx := begin_partition_ui(1);
     if cbCtx = nil then exit;
@@ -702,18 +702,19 @@ end;
 procedure operation_done(error : TError; userdata : pointer);
 var
     ctx : PFmtUICallbackCtx;
-    flags : uint32;
+    flags : PtrUInt;
 begin
     ctx := PFmtUICallbackCtx(userdata);
     if ctx <> nil then begin
-        asm pushfd; cli; pop flags end;
+        flags := arch.platform.cpu.lock;
         if ctx^.SessionID = ui_session_id then begin
             fmt_done_error := error;
             fmt_done_vol_idx := ctx^.VolumeIdx;
-            done_kind := ctx^.Kind; done_device := ctx^.DeviceIdx;
+            done_kind := ctx^.Kind;
+            done_device := ctx^.DeviceIdx;
             puint32(@fmt_done_flag)^ := 1;
         end;
-        if (flags and $200) <> 0 then asm sti end;
+        arch.platform.cpu.unlock(flags);
         kfree(void(ctx));
     end;
 end;
@@ -824,7 +825,7 @@ begin
     fs := driver.storage.fs.mgr.get_filesystem(selIdx);
     if fs = nil then begin closeMsgBox; exit; end;
 
-    memset(uint32(@params), 0, sizeof(TFSFormatParams));
+    memset(PtrUInt(@params), 0, sizeof(TFSFormatParams));
     params.Version := FS_FORMAT_PARAMS_VERSION_1;
     paramPtr := nil;
 
@@ -874,7 +875,7 @@ begin
         if fs^.validateLabelCallback(text,normalized) <> eNone then begin
             set_fmt_param_error('Use up to 11 ASCII characters without punctuation such as / or :'); exit;
         end;
-        memcpy(uint32(@normalized[0]),uint32(@params.LabelText[0]),12);
+        memcpy(PtrUInt(@normalized[0]),PtrUInt(@params.LabelText[0]),12);
         params.Flags := params.Flags or FS_FORMAT_PARAM_LABEL; paramPtr := @params;
     end;
 
@@ -1200,7 +1201,8 @@ begin
     vol := findVolumeForPartition(device, part.LBA_start);
     if vol <> nil then begin
         freeB := uint64(vol^.freeSectors) * vol^.sectorSize;
-        freeStr := uiConcat(formatSizeStr(freeB), ' free');
+        if (vol^.lifecycleFlags and STORAGE_VOLUME_FLAG_FREE_UNKNOWN) <> 0 then freeStr := 'Free: unknown'
+        else freeStr := uiConcat(formatSizeStr(freeB), ' free');
         lbl := lv_label_create(row);
         lv_label_set_text(lbl, freeStr);
         lv_obj_set_style_text_color(lbl, lv_color_make(100, 180, 130), 0);
@@ -1240,7 +1242,6 @@ var
     dw          : sint32;
     i           : uint32;
     totalBytes  : uint64;
-    usedSectors : uint64;
     freeBytes   : uint64;
     volCnt      : uint32;
     devVolCnt   : uint32;
@@ -1274,22 +1275,18 @@ begin
     totalBytes := uint64(device^.maxSectorCount) * device^.sectorSize;
     addInfoRow(detail, dw, 'Total Size', formatSizePrecise(totalBytes));
 
-    { Compute free space from in-memory volume data (no I/O) }
-    usedSectors := 0;
+    { Use the same cached partition geometry as Add Partition. Volumes may
+      still be undergoing filesystem probing after the device is published. }
     devVolCnt := 0;
     volCnt := driver.storage.vol.mgr.get_volume_count();
     if volCnt > 0 then for i := 0 to volCnt - 1 do begin
         vol := driver.storage.vol.mgr.get_volume(i);
         if (vol <> nil) and (vol^.device = device) then begin
             devVolCnt := devVolCnt + 1;
-            usedSectors := usedSectors + vol^.sectorCount;
         end;
     end;
-    if device^.maxSectorCount > usedSectors then
-        freeBytes := uint64(device^.maxSectorCount - usedSectors) * device^.sectorSize
-    else
-        freeBytes := 0;
-    addInfoRow(detail, dw, 'Free Space', formatSizePrecise(freeBytes));
+    freeBytes := uint64(driver.storage.vol.mgr.get_free_sector_count(device)) * device^.sectorSize;
+    addInfoRow(detail, dw, 'Unallocated Space', formatSizePrecise(freeBytes));
     addInfoRow(detail, dw, 'Volumes', uiInt(devVolCnt));
 
     { Usage bar }
@@ -1352,7 +1349,8 @@ begin
 
             { Free space }
             freeB := uint64(vol^.freeSectors) * vol^.sectorSize;
-            freeStr := uiConcat(formatSizeStr(freeB), ' free');
+            if (vol^.lifecycleFlags and STORAGE_VOLUME_FLAG_FREE_UNKNOWN) <> 0 then freeStr := 'Free: unknown'
+            else freeStr := uiConcat(formatSizeStr(freeB), ' free');
             lbl := lv_label_create(row);
             lv_label_set_text(lbl, freeStr);
             lv_obj_set_style_text_color(lbl, lv_color_make(100, 180, 130), 0);
@@ -1494,6 +1492,10 @@ begin
     usedBytes := totalBytes - freeBytes;
 
     addInfoRow(detail, dw, 'Total Size', formatSizePrecise(totalBytes));
+    if (vol^.lifecycleFlags and STORAGE_VOLUME_FLAG_FREE_UNKNOWN) <> 0 then begin
+        addInfoRow(detail, dw, 'Free Space', 'Unknown');
+        addInfoRow(detail, dw, 'Used Space', 'Unknown');
+    end else begin
     addInfoRow(detail, dw, 'Free Space', formatSizePrecise(freeBytes));
     addInfoRow(detail, dw, 'Used Space', formatSizePrecise(usedBytes));
 
@@ -1502,6 +1504,7 @@ begin
         addInfoRow(detail, dw, 'Usage', uiConcat(uiInt(pctUsed), '%'));
         addUsageBar(detail, dw, usedBytes, totalBytes);
     end;
+    end;
 
     addInfoRow(detail, dw, 'Boot Drive', boolStr(vol^.isBootDrive));
 

src/app/app.filebrowser.pas

@@ -32,7 +32,7 @@ uses
     core.gfx.fileicons,
     debug.tracer,
     core.util,
-    arch.x86.util;
+    arch.platform.cpu;
 
 const
     WIN_W          = 800;
@@ -785,9 +785,9 @@ begin
     dir_names  := PNameBuf(kalloc(sizeof(TNameBuf)));
     file_names := PNameBuf(kalloc(sizeof(TNameBuf)));
     file_sizes := PSizeBuf(kalloc(sizeof(TSizeBuf)));
-    memset(uint32(dir_names),  0, sizeof(TNameBuf));
-    memset(uint32(file_names), 0, sizeof(TNameBuf));
-    memset(uint32(file_sizes), 0, sizeof(TSizeBuf));
+    memset(PtrUInt(dir_names),  0, sizeof(TNameBuf));
+    memset(PtrUInt(file_names), 0, sizeof(TNameBuf));
+    memset(PtrUInt(file_sizes), 0, sizeof(TSizeBuf));
 
     { Load directory from VFS — this may do disk I/O }
     Map := driver.storage.vfs.GetDirectoryListingFrom(state^.cur_path, '/');
@@ -1330,7 +1330,7 @@ begin
         parent := stringCopy('/')
     else begin
         parent := pchar(kalloc(uint32(i) + 1));
-        memcpy(uint32(cur), uint32(parent), uint32(i));
+        memcpy(PtrUInt(cur), PtrUInt(parent), uint32(i));
         parent[i] := char(0);
     end;
     navigate_to(state, parent);
@@ -1440,7 +1440,7 @@ begin
 
         { Segment name label }
         segBuf := pchar(kalloc(segEnd - segStart + 1));
-        memcpy(uint32(@path[segStart]), uint32(segBuf), segEnd - segStart);
+        memcpy(PtrUInt(@path[segStart]), uint32(segBuf), segEnd - segStart);
         segBuf[segEnd - segStart] := char(0);
         lbl := lv_label_create(btn);
         lv_label_set_text(lbl, segBuf);
@@ -1979,7 +1979,7 @@ begin
     if state^.tabs[idx] <> nil then
         free_tab_snapshot(state^.tabs[idx]);
     snap := PTabSnapshot(kalloc(sizeof(TTabSnapshot)));
-    memset(uint32(snap), 0, sizeof(TTabSnapshot));
+    memset(PtrUInt(snap), 0, sizeof(TTabSnapshot));
     if state^.cur_path <> nil then
         snap^.cur_path := stringCopy(state^.cur_path)
     else
@@ -2090,7 +2090,7 @@ begin
     save_tab(state, state^.active_tab);
     { Create snapshot for new tab }
     snap := PTabSnapshot(kalloc(sizeof(TTabSnapshot)));
-    memset(uint32(snap), 0, sizeof(TTabSnapshot));
+    memset(PtrUInt(snap), 0, sizeof(TTabSnapshot));
     snap^.cur_path := stringCopy(path);
     snap^.hist_len := 0;
     snap^.hist_pos := 0;
@@ -3053,7 +3053,7 @@ begin
 
     { Allocate and zero-initialise state }
     state := PFileBrowserState(kalloc(sizeof(TFileBrowserState)));
-    memset(uint32(state), 0, sizeof(TFileBrowserState));
+    memset(PtrUInt(state), 0, sizeof(TFileBrowserState));
     state^.win_id   := g_win_id;
     state^.cur_path := stringCopy('/');
     state^.view_mode := vmDetail;

src/app/app.filepicker.pas

@@ -64,7 +64,7 @@ uses
     core.strings.helpers,
     io.syslog,
     debug.tracer,
-    core.util, arch.x86.util,
+    core.util, arch.platform.cpu,
     driver.storage.vfs;
 
 const
@@ -325,9 +325,9 @@ begin
     dir_names  := PNameBuf(kalloc(sizeof(TNameBuf)));
     file_names := PNameBuf(kalloc(sizeof(TNameBuf)));
     file_sizes := PSizeBuf(kalloc(sizeof(TSizeBuf)));
-    memset(uint32(dir_names),  0, sizeof(TNameBuf));
-    memset(uint32(file_names), 0, sizeof(TNameBuf));
-    memset(uint32(file_sizes), 0, sizeof(TSizeBuf));
+    memset(PtrUInt(dir_names),  0, sizeof(TNameBuf));
+    memset(PtrUInt(file_names), 0, sizeof(TNameBuf));
+    memset(PtrUInt(file_sizes), 0, sizeof(TSizeBuf));
 
     { Sync path bar }
     if p^.path_bar <> nil then
@@ -898,7 +898,7 @@ begin
     io.syslog.logln('FPCIK', 'make_picker: enter');
 
     p := PPicker(kalloc(sizeof(TPicker)));
-    memset(uint32(p), 0, sizeof(TPicker));
+    memset(PtrUInt(p), 0, sizeof(TPicker));
     p^.cb         := cb;
     p^.userdata   := userdata;
     p^.is_save    := is_save;

src/app/app.md5sum.pas

@@ -22,7 +22,7 @@ unit app.md5sum;
 interface
 
 uses
-    io.stdio, core.util, arch.x86.util, core.strings, debug.tracer, core.enc.md5;
+    memory.heap, io.stdio, core.util, arch.platform.cpu, core.strings, debug.tracer, core.enc.md5;
 
 procedure init();
 
@@ -36,6 +36,10 @@ var
     i           : uint32;
 
 begin
+    if paramCount(Params) = 0 then begin
+        io.stdio.bufWriteStrLn(stderr_buf, 'Usage: MD5SUM <word>');
+        exit;
+    end;
     md5word:= getParam(0, Params);
     wordlen:= stringSize(md5word);
     MD5_Hash := MD5Buffer(puint8(md5word), wordlen);
@@ -43,6 +47,7 @@ begin
         io.stdio.bufWriteHexPair(stdout_buf, MD5_Hash^[i]);
     end;
     io.stdio.bufWriteStrLn(stdout_buf, ' ');
+    memory.heap.kfree(void(MD5_Hash));
 end;
 
 procedure init();

src/app/app.meminfo.pas

@@ -22,7 +22,7 @@ unit app.meminfo;
 interface
 
 uses
-    io.stdio, arch.x86.multiboot, arch.x86.memory.physical, memory.heap, debug.tracer;
+    io.stdio, arch.platform.memory, memory.heap, debug.tracer;
 
 procedure init();
 
@@ -30,50 +30,30 @@ implementation
 
 procedure run(Params : PParamList; stdin_buf, stdout_buf, stderr_buf : POutBuf);
 var
-    pmm_total, pmm_free, pmm_used : uint32;
-    lmm_pages, lmm_free           : uint32;
+    total, available: uint64;
+    heapPages: uint32;
 begin
-    { Multiboot memory info }
-    io.stdio.bufWriteStrLn(stdout_buf, '--- Multiboot ---');
-    io.stdio.bufWriteStr(stdout_buf, 'Lower Memory  : ');
-    io.stdio.bufWriteInt(stdout_buf, multibootinfo^.mem_lower);
-    io.stdio.bufWriteStrLn(stdout_buf, ' KB');
-    io.stdio.bufWriteStr(stdout_buf, 'Upper Memory  : ');
-    io.stdio.bufWriteInt(stdout_buf, multibootinfo^.mem_upper);
-    io.stdio.bufWriteStrLn(stdout_buf, ' KB');
-    io.stdio.bufWriteStr(stdout_buf, 'Total Memory  : ');
-    io.stdio.bufWriteInt(stdout_buf, ((multibootinfo^.mem_upper + 1000) div 1024) + 1);
-    io.stdio.bufWriteStrLn(stdout_buf, ' MB');
-
-    { PMM stats }
-    io.stdio.bufWriteStrLn(stdout_buf, '--- PMM (4 MB blocks) ---');
-    pmm_total := arch.x86.memory.physical.pmm_total_blocks;
-    pmm_free  := arch.x86.memory.physical.pmm_free_blocks;
-    pmm_used  := pmm_total - pmm_free;
-    io.stdio.bufWriteStr(stdout_buf, 'Total Blocks  : ');
-    io.stdio.bufWriteIntLn(stdout_buf, pmm_total);
-    io.stdio.bufWriteStr(stdout_buf, 'Free Blocks   : ');
-    io.stdio.bufWriteIntLn(stdout_buf, pmm_free);
-    io.stdio.bufWriteStr(stdout_buf, 'Used Blocks   : ');
-    io.stdio.bufWriteIntLn(stdout_buf, pmm_used);
+    total := arch.platform.memory.totalPhysicalBytes;
+    available := arch.platform.memory.freePhysicalBytes;
+    io.stdio.bufWriteStr(stdout_buf, 'Usable Physical: ');
+    io.stdio.bufWriteInt(stdout_buf, total div 1024);
+    io.stdio.bufWriteStrLn(stdout_buf, ' KiB');
     io.stdio.bufWriteStr(stdout_buf, 'Free Physical  : ');
-    io.stdio.bufWriteInt(stdout_buf, pmm_free * 4);
-    io.stdio.bufWriteStrLn(stdout_buf, ' MB');
-
-    { LMM heap stats }
-    io.stdio.bufWriteStrLn(stdout_buf, '--- LMM (Heap) ---');
-    lmm_pages := memory.heap.lmm_page_count;
-    lmm_free  := memory.heap.lmm_total_free;
-    io.stdio.bufWriteStr(stdout_buf, 'Heap Pages    : ');
-    io.stdio.bufWriteIntLn(stdout_buf, lmm_pages);
+    io.stdio.bufWriteInt(stdout_buf, available div 1024);
+    io.stdio.bufWriteStrLn(stdout_buf, ' KiB');
+    io.stdio.bufWriteStr(stdout_buf, 'Used Physical  : ');
+    io.stdio.bufWriteInt(stdout_buf, (total - available) div 1024);
+    io.stdio.bufWriteStrLn(stdout_buf, ' KiB');
+    heapPages := memory.heap.lmm_page_count;
+    io.stdio.bufWriteStr(stdout_buf, 'Heap Regions   : ');
+    io.stdio.bufWriteIntLn(stdout_buf, heapPages);
     io.stdio.bufWriteStr(stdout_buf, 'Heap Size      : ');
-    io.stdio.bufWriteInt(stdout_buf, lmm_pages * 4);
-    io.stdio.bufWriteStrLn(stdout_buf, ' MB');
+    io.stdio.bufWriteInt(stdout_buf, uint64(heapPages) * PAGE_SIZE_LMM div 1024);
+    io.stdio.bufWriteStrLn(stdout_buf, ' KiB');
     io.stdio.bufWriteStr(stdout_buf, 'Heap Free      : ');
-    io.stdio.bufWriteInt(stdout_buf, lmm_free div 1024);
-    io.stdio.bufWriteStrLn(stdout_buf, ' KB');
+    io.stdio.bufWriteInt(stdout_buf, memory.heap.lmm_total_free div 1024);
+    io.stdio.bufWriteStrLn(stdout_buf, ' KiB');
 end;
-
 procedure init();
 begin
     debug.tracer.push_trace('meminfo.init');

src/app/app.mgr.pas

@@ -23,10 +23,9 @@ unit app.mgr;
 interface
 
 uses
-    boot.mgr,
     debug.tracer, io.stdio, proc.mgr,
     //progs
-    app.base64, app.md5sum, app.dhclient, app.vbeinfo, app.testcmd, app.ping, app.meminfo, app.setres, app.iotest,
+    app.base64, app.md5sum, app.dhclient, app.testcmd, app.ping, app.meminfo, app.setres,
     //drivers
     driver.storage.ctl.ram, driver.mgr,
     //network
@@ -35,8 +34,6 @@ uses
     driver.storage.filedispatch,
     //wasm
     app.wasm.runner,
-    app.divzero,
-    app.bsod,
     app.vterminal;
 
 { Initialize all baked-in programs }
@@ -47,7 +44,6 @@ implementation
 uses
     core.version,
     //command provider units
-    arch.x86.cpu,
     app.diskcmd, driver.bus.usb.core, app.diskutil, app.notepad, app.partcmd, app.volcmd,
     app.filebrowser;
 
@@ -56,16 +52,10 @@ begin
     debug.tracer.push_trace('app.mgr.init');
 
     { Register commands from provider units }
-    io.stdio.registerCommand('CPU', @arch.x86.cpu.Terminal_Command_CPU, 'CPU Info.');
     io.stdio.registerCommand('DEV', @driver.mgr.terminal_command_dev, 'Driver Management Interface.');
     io.stdio.registerCommand('PS', @proc.mgr.terminal_command_ps, 'List running processes.');
     io.stdio.registerCommand('KILL', @proc.mgr.terminal_command_kill, 'Force-kill a process by PID.');
     io.stdio.registerCommand('TERMINATE', @proc.mgr.terminal_command_terminate, 'Gracefully terminate a process by PID.');
-    io.stdio.registerCommand('ARP', @driver.net.proto.arp.terminal_command_arp, 'Get ARP Table.');
-    io.stdio.registerCommand('IFCONFIG', @driver.net.proto.ipv4.terminal_command_ifconfig, 'Configure Network Settings.');
-    io.stdio.registerCommand('TCPCONNECT', @driver.net.proto.tcp.terminal_command_tcpconnect, 'Connect to a TCP host and send Hello World.');
-    io.stdio.registerCommand('TCPLISTEN', @driver.net.proto.tcp.terminal_command_tcplisten, 'Listen on a TCP port and log received data.');
-    io.stdio.registerCommand('TCPHTTP', @driver.net.proto.tcp.terminal_command_tcphttp, 'Send HTTP GET to a host IP (port 80 default).');
     io.stdio.registerCommand('USB', @driver.bus.usb.core.terminal_command_usb, 'driver.bus.usb subsystem information.');
 
     { File dispatch — must init before apps that register handlers }
@@ -81,21 +71,15 @@ begin
     app.md5sum.init();
     app.base64.init();
     app.dhclient.init();
-    app.vbeinfo.init();
     app.testcmd.init();
     app.ping.init();
     app.meminfo.init();
     { WASM & remaining apps }
     app.wasm.runner.init();
     app.setres.init();
-    app.divzero.init();
-    app.bsod.init();
     app.vterminal.init;
     app.filebrowser.init();
-    app.iotest.init();
 end;
 
-Initialization
-    boot.mgr.registerBoot('app.mgr', @init, 'Program Manager', BOOT_MGR_BARRIER_LATE);
 
 end.

src/app/app.notepad.pas

@@ -11,8 +11,7 @@
       - Status bar showing Line, Col, filename, and dirty flag
 
     Key design notes:
-      - lv_event_t.stop_processing (bit 1 at struct byte offset 24) is set
-        directly to prevent LVGL's default textarea key handler from also
+      - lv_event_stop_processing prevents LVGL's default textarea handler from also
         acting on keys we have fully handled ourselves.
       - Shift state is read from driver.hid.keyboard.is_shift / driver.hid.keyboard.is_ctrl.
       - selection anchor (sel_anchor) is stored as a sint32 byte offset;
@@ -43,7 +42,7 @@ uses
     io.syslog,
     io.stdio,
     debug.tracer,
-    core.util, arch.x86.util,
+    core.util, arch.platform.cpu,
     driver.storage.vfs,
     driver.video,
     driver.video.windows;
@@ -62,19 +61,6 @@ const
 
     FILE_BUF_SIZE  = 65536;   { 64 KB read / write buffer }
 
-    {
-      Byte offset and bitmask for lv_event_t.stop_processing.
-      struct lv_event_t (32-bit ABI):
-        offset  0: current_target  (ptr)
-        offset  4: original_target (ptr)
-        offset  8: code            (uint32  — lv_event_code_t)
-        offset 12: user_data       (ptr)
-        offset 16: param           (ptr)
-        offset 20: prev            (ptr)
-        offset 24: flags byte      [bit0=deleted, bit1=stop_processing, bit2=stop_bubbling]
-    }
-    LV_EVT_STOP_OFF = 24;
-    LV_EVT_STOP_BIT = 2;    { bit 1 = stop_processing }
 
 type
     PNotepadState = ^TNotepadState;
@@ -130,8 +116,7 @@ procedure removeInstance(state: PNotepadState); forward;
   ============================================================ }
 procedure stopEvent(e: Plv_event);
 begin
-    puint8(uint32(e) + LV_EVT_STOP_OFF)^ :=
-        puint8(uint32(e) + LV_EVT_STOP_OFF)^ or LV_EVT_STOP_BIT;
+    lv_event_stop_processing(e);
 end;
 
 { ============================================================
@@ -157,18 +142,18 @@ begin
     if to_idx   < from_idx then to_idx  := from_idx;
     result_len := from_idx + ins_len + (src_len - to_idx);
     buf := pchar(kalloc(result_len + 1));
-    memset(uint32(buf), 0, result_len + 1);
+    memset(PtrUInt(buf), 0, result_len + 1);
     pos := 0;
     if from_idx > 0 then begin
-        memcpy(uint32(src), uint32(buf), from_idx);
+        memcpy(PtrUInt(src), PtrUInt(buf), from_idx);
         pos := from_idx;
     end;
     if ins_len > 0 then begin
-        memcpy(uint32(insert), uint32(@buf[pos]), ins_len);
+        memcpy(PtrUInt(insert), PtrUInt(@buf[pos]), ins_len);
         pos := pos + ins_len;
     end;
     if to_idx < src_len then
-        memcpy(uint32(@src[to_idx]), uint32(@buf[pos]), src_len - to_idx);
+        memcpy(PtrUInt(@src[to_idx]), PtrUInt(@buf[pos]), src_len - to_idx);
     buildSplicedString := buf;
 end;
 
@@ -198,12 +183,12 @@ begin
 
     { Generous output buffer: original + 4 bytes per line (worst case ~512 lines) }
     out_buf := pchar(kalloc(src_len + 2049));
-    memset(uint32(out_buf), 0, src_len + 2049);
+    memset(PtrUInt(out_buf), 0, src_len + 2049);
     out_pos := 0;
 
     { Copy everything before the affected region verbatim }
     if first_ls > 0 then begin
-        memcpy(uint32(src), uint32(out_buf), first_ls);
+        memcpy(PtrUInt(src), PtrUInt(out_buf), first_ls);
         out_pos := first_ls;
     end;
 
@@ -215,7 +200,7 @@ begin
         if i >= sel_end then begin
             { Past the affected region: copy the remainder verbatim }
             if i < src_len then begin
-                memcpy(uint32(@src[i]), uint32(@out_buf[out_pos]), src_len - i);
+                memcpy(PtrUInt(@src[i]), PtrUInt(@out_buf[out_pos]), src_len - i);
                 out_pos := out_pos + (src_len - i);
             end;
             break;
@@ -355,8 +340,10 @@ begin
         proc.mgr.kill(state^.pid);
         state^.pid := 0;
     end;
-    freeState(state);
+    if state^.ta <> nil then lv_group_remove_obj(state^.ta);
+    state^.ta := nil;
     driver.video.windows.destroyWindow(wid);
+    freeState(state);
 end;
 
 { ============================================================
@@ -424,8 +411,8 @@ begin
     len := stringSize(txt);
     if len > FILE_BUF_SIZE - 1 then len := FILE_BUF_SIZE - 1;
     buf := pchar(kalloc(FILE_BUF_SIZE));
-    memset(uint32(buf), 0, FILE_BUF_SIZE);
-    memcpy(uint32(txt), uint32(buf), len);
+    memset(PtrUInt(buf), 0, FILE_BUF_SIZE);
+    memcpy(PtrUInt(txt), PtrUInt(buf), len);
     fHandle := driver.storage.vfs.OpenFile(state^.currentPath, omReadWrite, @fError);
     if fHandle = 0 then
         fHandle := driver.storage.vfs.OpenFile(state^.currentPath, omCreate, @fError);
@@ -440,7 +427,7 @@ begin
     written := driver.storage.vfs.WriteFile(fHandle, 0, puint8(buf), len);
     driver.storage.vfs.CloseFile(fHandle);
     kfree(void(buf));
-    if written = 0 then begin
+    if written <> len then begin
         io.syslog.logln('NOTEPAD', 'saveFile: WriteFile returned 0');
         showErrorMsgbox('Save Failed', 'File write failed. Check filesystem.');
         updateStatusBar(state);
@@ -475,7 +462,7 @@ begin
         exit;
     end;
     buf := pchar(kalloc(FILE_BUF_SIZE));
-    memset(uint32(buf), 0, FILE_BUF_SIZE);
+    memset(PtrUInt(buf), 0, FILE_BUF_SIZE);
     driver.storage.vfs.ReadFile(fHandle, 0, puint8(buf), FILE_BUF_SIZE - 1);
     driver.storage.vfs.CloseFile(fHandle);
     if state^.currentPath <> nil then kfree(void(state^.currentPath));
@@ -941,7 +928,7 @@ begin
 
     { Allocate and zero-initialise state }
     state := PNotepadState(kalloc(sizeof(TNotepadState)));
-    memset(uint32(state), 0, sizeof(TNotepadState));
+    memset(PtrUInt(state), 0, sizeof(TNotepadState));
     state^.win_id     := wid;
     state^.sel_anchor := -1;
     addInstance(state);