Commit e68f93d6 authored by chenyangyy's avatar chenyangyy
Browse files

remove seL4_ARCH_4KPage

parent df582d10
Showing with 1 addition and 1 deletion
+1 -1
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment