Do not package crt0.o in SDK

Previously the linker script referred to crt0.o which is why it was necessary that it was part of the SDK. However, now libmicrokit.a contains crt0.o and so it is not necessary to continue distributing crt0.o separately. Signed-off-by: Ivan Velickovic <[email protected]>
seL4 · Jan 11, 2024 · d0f9718 · d0f9718
1 parent 4e1e20f
commit d0f9718
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/build_sdk.py b/build_sdk.py
@@ -312,13 +312,6 @@ def build_lib_component(
     # Make output read-only
     dest.chmod(0o444)
 
-    crt0 = build_dir / "crt0.o"
-    dest = lib_dir / "crt0.o"
-    dest.unlink(missing_ok=True)
-    copy(crt0, dest)
-    # Make output read-only
-    dest.chmod(0o444)
-
     include_dir = root_dir / "board" / board.name / config.name / "include"
     source_dir = Path(component_name) / "include"
     for p in source_dir.rglob("*"):