# Compiled OSDI binaries — generated by `pixi run compile_osdi`
*.osdi
