smaccmpilot: simple demonstration that ivory adl works
ivory-freertos-wrapper: companion to ivory-freertos cabal package