--
-- Machine.hs --- Imports the current machine module.
--
-- Copyright (C) 2013, Galois, Inc.
-- All Rights Reserved.
--

module Ivory.HW.Machine (ioAreas) where

import Ivory.HW.STM32F4