tree e9190484d51410661708b8e35c40d8eefb7acd52
parent a0360e746defc30fa521657fc59e4f48fede7213
author Christina Quast <christina.quast@9elements.com> 1786979766 +0200
committer Anthony Rocha <116300062+rusty1968@users.noreply.github.com> 1787167616 -0700

orchestrator: Rename the shell to platform driver

PR #357 already settled this word: 'shell' reads as bash, and the
docs say platform driver. The crate follows: PlatformDriver in
driver.rs, DriverError, openprot_orchestrator_driver. The outer pump
is now the event loop, freeing 'driver' for the struct.

Assisted-by: Claude:claude-fable-5
Signed-off-by: Christina Quast <christina.quast@9elements.com>