release: Add bios elf, bin, and init files to the release package.

bios/CMakeLists.txt

@@ -75,4 +75,6 @@ target_include_directories(${PROJECT_NAME} PUBLIC include)
 target_compile_definitions(${PROJECT_NAME} PRIVATE "-DTERM_NO_HIST")
 target_compile_definitions(${PROJECT_NAME} PRIVATE "-DNO_FLINT") # Disable linting
 
+install(TARGETS ${PROJECT_NAME} DESTINATION fw RESOURCE)
+
 format_target_sources(${PROJECT_NAME})

cmake/ppc64le.cmake

@@ -99,14 +99,17 @@ function(ppc64le_add_executable target)
         VERBATIM)
 
     add_custom_command(
-            OUTPUT ${target}.init
-            COMMAND bin2init --input ${target}.bin --output ${target}.init
-            DEPENDS ${target} bin2init
-            VERBATIM)
+        OUTPUT ${target}.init
+        COMMAND bin2init --input ${target}.bin --output ${target}.init
+        DEPENDS ${target} bin2init
+        VERBATIM)
 
     add_custom_target(bios-init ALL DEPENDS ${target}.init)
 
-    set_target_properties(${target} PROPERTIES RESOURCE ${CMAKE_CURRENT_BINARY_DIR}/${target}.bin)
+    SET(RESOURCES
+        ${CMAKE_CURRENT_BINARY_DIR}/${target}.bin
+        ${CMAKE_CURRENT_BINARY_DIR}/${target}.init)
+    set_target_properties(${target} PROPERTIES RESOURCE "${RESOURCES}")
 
     # Add host binary
     add_library(${target}-binary EXCLUDE_FROM_ALL ${target}.c)