diff --git a/commands.c b/commands.c
index c8c5ada..8386980 100644
--- a/commands.c
+++ b/commands.c
@@ -193,13 +193,13 @@ static void cmd_about(BootInfo *Boot, CHAR16 *Args)
 
     SAFE_PRINT(Boot, L"\n\r");
     SAFE_PRINT(Boot, L"================================================\n\r");
-    SAFE_PRINT(Boot, L"  Simple UEFI Operating System\n\r");
+    SAFE_PRINT(Boot, L"  Simple 64-bit Operating System\n\r");
     SAFE_PRINT(Boot, L"================================================\n\r");
     SAFE_PRINT(Boot, L"\n\r");
-    SAFE_PRINT(Boot, L"A minimal bootable UEFI operating system written in C.\n\r");
+    SAFE_PRINT(Boot, L"A minimal bootable operating system written in C.\n\r");
     SAFE_PRINT(Boot, L"\n\r");
     SAFE_PRINT(Boot, L"Features:\n\r");
-    SAFE_PRINT(Boot, L"  - UEFI Boot\n\r");
+    SAFE_PRINT(Boot, L"  - Flexible bootloader interface\n\r");
     SAFE_PRINT(Boot, L"  - Console I/O\n\r");
     SAFE_PRINT(Boot, L"  - ELF64 Kernel Loader\n\r");
     SAFE_PRINT(Boot, L"  - Memory Management (PMM + Heap)\n\r");
diff --git a/kernel.c b/kernel.c
index 8eb003e..589c160 100644
--- a/kernel.c
+++ b/kernel.c
@@ -68,7 +68,7 @@ void kmain(BootInfo *Boot)
     task_init(Boot);
 
     /* ---- Welcome banner ---- */
-    SAFE_PRINT(Boot, L"  Welcome to Simple UEFI Operating System!\n\r");
+    SAFE_PRINT(Boot, L"  Welcome to Simple 64-bit Operating System!\n\r");
     SAFE_PRINT(Boot, L"================================================\n\r");
     SAFE_PRINT(Boot, L"\n\r");
     SAFE_PRINT(Boot, L"System Information:\n\r");
diff --git a/memory.c b/memory.c
index 61038a3..0a4dd46 100644
--- a/memory.c
+++ b/memory.c
@@ -57,8 +57,9 @@ static BOOLEAN pmm_test_bit(UINTN idx)
  * ---------------------------------------------------------------- */
 
 /*
- * Initialise the PMM: request PMM_POOL_PAGES from UEFI and set up
- * the bitmap with all pages marked free.
+ * Initialise the PMM: request PMM_POOL_PAGES from the loader via
+ * BootInfo->alloc_pages() and set up the bitmap with all pages
+ * marked free.
  */
 void pmm_init(BootInfo *Boot)
 {
@@ -243,7 +244,7 @@ static UINT64 *paging_walk_level(UINT64 *table, UINTN index, BOOLEAN create)
 /* Log the current CR3 value (identity-mapped by UEFI). */
 void paging_init(BootInfo *Boot)
 {
-    SAFE_PRINT(Boot, L"  Page: CR3 = 0x%lx (UEFI identity-mapped)\n\r",
+    SAFE_PRINT(Boot, L"  Page: CR3 = 0x%lx (identity-mapped by loader)\n\r",
                read_cr3());
 }