open_kernel/boot/boot_main.ads

with Interfaces;
procedure Boot_Main (Magic : Interfaces.Unsigned_32)
  with Export, Convention => C, External_Name => "agila_boot_main", No_Return;