1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22

[package]
name = "contract_probe"
version = "0.1.0"
author = "Chris Tusa <chris.tusa@leafscale.com>"
description = "FFI validation probe for zyginit Hammerhead libcontract bindings"
license = "CDDL-1.0"

[build]
entry = "src/main.reef"
output = "contract_probe"
output_dir = "build"
source_dirs = ["src"]

# This probe exercises each libcontract FFI call in isolation to validate
# the bindings match the real kernel interface on Hammerhead.
#
# On Linux (dev) — stubs return -1, build only validates compile/link:
#   clang -c ../../src/contract_linux_stubs.c -o build/contract_linux_stubs.o
#   reefc build --obj build/contract_linux_stubs.o
#
# On Hammerhead — real libcontract, actual validation:
#   reefc build -l contract