From fac69f9d03d8fa766cce20b47daf6dfd17039d78 Mon Sep 17 00:00:00 2001
From: vasilito <adminpupkin@gmail.com>
Date: Wed, 15 Jul 2026 03:13:46 +0900
Subject: [PATCH] =?UTF-8?q?fix(kernel):=20ProcUptime=20f64=20=E2=86=92=20i?=
 =?UTF-8?q?nteger=20in=20soft-float=20build?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Kernel is built with target-feature=+soft-float (no SSE), but the
upstream ProcUptime code used f64 in format!() which requires SSE
register return. This caused a build error:

  error: src/scheme/proc.rs:2047:32: ... SSE register return with
        SSE disabled

Replace the f64 arithmetic with integer math (seconds.milliseconds)
to make the kernel buildable on the redoxer cross-toolchain.
---
 local/sources/kernel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/local/sources/kernel b/local/sources/kernel
index 7586661ad1..8a5921410a 160000
--- a/local/sources/kernel
+++ b/local/sources/kernel
@@ -1 +1 @@
-Subproject commit 7586661ad1646f6effc2a927bc82ffe66c1b2ad2
+Subproject commit 8a5921410a50a59607898113e3887ebb04239177