Move balloon standalone example to firecracker folder#167

danielsn merged 1 commit intomodel-checking:main-152-2021-06-01model-checking/kani:main-152-2021-06-01from

adpaco-aws:add-firecracker-balloon-standalone-exampleadpaco-aws/rmc:add-firecracker-balloon-standalone-exampleCopy head branch name to clipboard