cmake: update kernel name references

2026-05-30 10:14:38 +01:00
parent 87fe2d20ec
commit d879a37cb3
6 changed files with 6 additions and 6 deletions
@@ -6,7 +6,7 @@ check_pie_supported()

 set(sys_dir ${CMAKE_CURRENT_BINARY_DIR}/sys)

-set(kernel_name mango_kernel)
+set(kernel_name magenta_kernel)
 set(bsp_name rosetta-system.bsp)

 set(CMAKE_MODULE_PATH ${CMAKE_MODULE_PATH} ${CMAKE_SOURCE_DIR}/cmake)