AArch64 EL1 4KB paging by YinhuaChen-vivo · Pull Request #408 · vivoblueos/kernel

YinhuaChen-vivo · 2026-05-07T00:18:37Z

Summary

This PR adds initial AArch64 EL1 4KB paging support and validates it by creating a runtime linear map after heap initialization.

It extends the MMU implementation with L1/L2/L3 page-table traversal, 4KB page descriptors, runtime page-table allocation, range map/unmap helpers, and recursive page-table cleanup. The PR also switches TTBR1_EL1 to a runtime-built linear map and increases the QEMU virt64 AArch64 heap size to support additional page-table allocations.

Key Changes

Add AArch64 EL1 4KB page descriptor support.
Add runtime page-table allocation, mapping, unmapping, and cleanup helpers.
Add runtime linear-map initialization using 4KB pages.
Add shared TLB flush helper.
Increase QEMU virt64 AArch64 heap size from 8 MiB to 32 MiB.
Invoke runtime linear-map initialization after heap setup for validation.

Testing

Verified the runtime linear-map path on AArch64.
Confirmed that 4KB page-table based mapping works after heap initialization.

Notes

Current 4KB mapping support uses L3 page granularity.
The runtime linear-map initialization is currently used as a validation path and may be streamlined later.

YinhuaChen-vivo · 2026-05-07T00:19:07Z

build_prs

github-actions · 2026-05-07T00:20:19Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25468593116.

github-actions · 2026-05-07T00:25:55Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25468593116.

YinhuaChen-vivo · 2026-05-07T01:12:26Z

build_prs

github-actions · 2026-05-07T01:13:44Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25470261874.

github-actions · 2026-05-07T01:19:27Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25470261874.

YinhuaChen-vivo · 2026-05-07T01:20:44Z

build_prs

YinhuaChen-vivo · 2026-05-07T01:32:45Z

build_prs

github-actions · 2026-05-07T01:34:13Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25470894589.

github-actions · 2026-05-07T01:37:37Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25470517925.

github-actions · 2026-05-07T01:46:01Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25470894589.

github-actions · 2026-05-07T01:46:48Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25470517925.

YinhuaChen-vivo · 2026-05-07T02:06:20Z

build_prs

github-actions · 2026-05-07T02:07:44Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25471952627.

github-actions · 2026-05-07T02:19:41Z

✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/25471952627.

YinhuaChen-vivo · 2026-05-07T06:31:37Z

build_prs

github-actions · 2026-05-07T06:33:08Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25479916950.

YinhuaChen-vivo · 2026-05-07T06:37:29Z

build_prs

github-actions · 2026-05-07T06:42:33Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25480144882.

github-actions · 2026-05-07T06:50:19Z

❌ Job failed. Failed jobs: check_format (failure), see https://github.com/vivoblueos/kernel/actions/runs/25479916950.

github-actions · 2026-05-07T06:55:30Z

✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/25480144882.

YinhuaChen-vivo · 2026-05-07T07:54:13Z

build_prs

github-actions · 2026-05-07T07:55:31Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25483314978.

github-actions · 2026-05-07T08:03:06Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25483314978.

YinhuaChen-vivo · 2026-05-07T08:03:26Z

build_prs

github-actions · 2026-05-07T08:04:45Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25483723613.

github-actions · 2026-05-07T08:11:13Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25483723613.

YinhuaChen-vivo · 2026-05-07T08:12:10Z

build_prs

github-actions · 2026-05-07T08:13:35Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25484104085.

github-actions · 2026-05-07T08:19:29Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25484104085.

YinhuaChen-vivo · 2026-05-07T08:20:45Z

build_prs

github-actions · 2026-05-07T08:22:12Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25484487181.

github-actions · 2026-05-07T08:31:34Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25484487181.

YinhuaChen-vivo · 2026-05-07T08:32:31Z

build_prs

github-actions · 2026-05-07T08:34:01Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25485018030.

YinhuaChen-vivo · 2026-05-07T08:38:56Z

build_prs

github-actions · 2026-05-07T08:39:29Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25485018030.

github-actions · 2026-05-07T08:41:09Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25485308264.

github-actions · 2026-05-07T08:48:41Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25485308264.

YinhuaChen-vivo · 2026-05-07T08:49:02Z

build_prs

github-actions · 2026-05-07T08:50:23Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25485771020.

github-actions · 2026-05-07T08:59:39Z

❌ Job failed. Failed jobs: build_and_check_boards (failure), see https://github.com/vivoblueos/kernel/actions/runs/25485771020.

YinhuaChen-vivo · 2026-05-07T09:00:42Z

build_prs

github-actions · 2026-05-07T09:02:44Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25486321718.

github-actions · 2026-05-07T09:16:20Z

✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/25486321718.

1.add set_formal_linearmap 2.add flush_tlb_all() 3.clear pagetable memory after get a page from heap 4.Linearmap based on paging works fine, but needs to be streamlined 5.rename KERNEL_TCR_TSZ -> TCR_TSZ 6.Increase the heap_size to 32MB, accommodate the 4KB granularity paging mechanism. 7.add unmap_range_in_pgtbl & free_page_table

YinhuaChen-vivo · 2026-05-14T07:23:44Z

build_prs

github-actions · 2026-05-14T07:25:03Z

Job is started, see https://github.com/vivoblueos/kernel/actions/runs/25847593352.

github-actions · 2026-05-14T07:37:52Z

✅ All jobs completed successfully, see https://github.com/vivoblueos/kernel/actions/runs/25847593352.

YinhuaChen-vivo changed the title ~~Feature EL1 4KB paging~~ AArch64 EL1 4KB paging May 7, 2026

YinhuaChen-vivo force-pushed the feature-paging branch from 2aa39f1 to b78d2ff Compare May 7, 2026 07:53

YinhuaChen-vivo marked this pull request as draft May 11, 2026 12:46

YinhuaChen-vivo force-pushed the feature-paging branch from b78d2ff to b934975 Compare May 14, 2026 03:41

YinhuaChen-vivo added 3 commits May 14, 2026 14:55

format by hands

4887b0a

formalize by GPT-5.5 & me

f3ba036

format

6582f1a

YinhuaChen-vivo marked this pull request as ready for review May 14, 2026 07:38

Conversation

YinhuaChen-vivo commented May 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Key Changes

Testing

Notes

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

github-actions Bot commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026

Uh oh!

YinhuaChen-vivo commented May 7, 2026 •

edited

Loading