github.com/primecitizens/pcz/std@v0.2.1/rt0/rt0_riscv64_noos.s (about)

     1  // SPDX-License-Identifier: Apache-2.0
     2  // Copyright 2023 The Prime Citizens
     3  
     4  // when building with the "noos" tag, the GOOS is actually "linux".
     5  //
     6  //go:build noos && riscv64
     7  
     8  
     9  #include "textflag.h"
    10  
    11  
    12  #ifdef GOOS_efi
    13  
    14  TEXT rt0(SB),NOSPLIT|NOFRAME|TOPFRAME,$0
    15  	// TODO: pass args (EFI_HANDLE imgHandle, EFI_SYSTEM_TABLE *sysTab)
    16  	JMP mainĀ·efi_main<ABIInternal>(SB)
    17  
    18  #endif