--
-- GPIOF4.hs --- GPIO peripheral for F4 series & compatible
--
-- Copyright (C) 2014, Galois, Inc.
-- All Rights Reserved.
--

module Ivory.BSP.STM32.Peripheral.GPIOF4
  ( module Ivory.BSP.STM32.Peripheral.GPIOF4.Peripheral
  , module Ivory.BSP.STM32.Peripheral.GPIOF4.Regs
  , module Ivory.BSP.STM32.Peripheral.GPIOF4.RegTypes
  ) where

import Ivory.BSP.STM32.Peripheral.GPIOF4.Peripheral
import Ivory.BSP.STM32.Peripheral.GPIOF4.Regs
import Ivory.BSP.STM32.Peripheral.GPIOF4.RegTypes

