Module Dissector.Result
Result of running the dissector. After the dissector runs, OCaml object files (ml_objfiles, startup_obj) are baked into the partition files. Passthrough files (ccobjs, runtime_libs) bypass partial linking and are passed directly to the final linker. Use Build_linker_args.build to convert this result into linker arguments.
val linked_partitions : Dissector.Result.t -> Partition.Linked.t listReturns the partially-linked partition object files.
val passthrough_files : Dissector.Result.t -> string listReturns the passthrough files that should be passed directly to the final linker without partial linking. These are C stub files and runtime libraries that may have sections like .gcc_except_table that don't work well with ld -r.
val linker_script : Dissector.Result.t -> stringReturns the path to the generated linker script.