main :: IO ()
main = compileTowerAADL id p simpleTower
  where
  p topts = fmap fst $
            getConfig' topts $ aadlConfigParser (defaultAADLConfig
              { configSystemOS   = EChronos
              , configSystemAddr = Nothing
              , configSystemHW   = PIXHAWK })
main :: IO ()
main = compileTowerAADL id p simpleTower
  where
  p topts = fmap fst $
            getConfig' topts $ aadlConfigParser (defaultAADLConfig
              { configSystemOS   = EChronos
              , configSystemAddr = Nothing
              , configSystemHW   = PIXHAWK })
main = compileTowerAADL id p simpleTower
  where
  p topts = fmap fst $
            getConfig' topts $ aadlConfigParser (defaultAADLConfig
              { configSystemOS   = EChronos
              , configSystemAddr = Nothing
              , configSystemHW   = PIXHAWK })