AlphaGitHub
Source/Systems

Bob.Build.RTX3090

systems/bob/src/Bob/Build/RTX3090.alpha

82 lines8 declarations3.3 KiBSHA-256 a7dfb12dcc37
Download exact fileView at revision426597bda5753d86c4

def · lines 57–67

bobRTX3090BuildPlan

Full file
57def bobRTX3090BuildPlan : (family SystemTargetBuildPlan) =
58  (record
59    SystemTargetBuildPlan
60    (systemTargetBuildPlanIdentity = b"bob-rtx3090-build-plan-v1")
61    (systemTargetBuildPlanCapabilityAccepted = bobRTX3090ExactTargetAccepted)
62    (systemTargetBuildPlanEntries
63      =
64      (bobSM86BuildPlanEntries
65        bobRTX3090TargetIdentity
66        bobRTX3090QualificationIdentity
67        b"bob-rtx3090-sm86.elf")))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.