#
# Automatically generated file; DO NOT EDIT.
# FROSTED Kernel Configuration
#

#
# Platform Selection
#
# ARCH_LM3S is not set
# ARCH_LPC17XX is not set
# ARCH_STM32F4 is not set
ARCH_STM32F7=y
ARCH_STM32F746_NG=y
FLASH_SIZE_1MB=y
RAM_SIZE_320KB=y
ARCH_STM32F746=y
CLK_216MHZ=y
MACH_STM32F746Discovery=y

#
# Kernel Configuration
#
KFLASHMEM_SIZE=128
KRAMMEM_SIZE=64

#
# Debugging options
#
# KLOG is not set
# HARDFAULT_DBG is not set
# STRACE is not set
# TASK_STACK_SIZE_1K is not set
# TASK_STACK_SIZE_2K is not set
TASK_STACK_SIZE_4K=y
# TASK_STACK_SIZE_8K is not set

#
# Filesystems
#
SYSFS=y
MEMFS=y
XIPFS=y
# FATFS is not set

#
# Sockets
#
# SOCK_UNIX is not set
SOCK_INET=y
# TCPIP_MEMPOOL_YN is not set
PICOTCP=y

#
# picoTCP configuration
#
CONFIG_PICOTCP_IPV4=y
# CONFIG_PICOTCP_IPV6 is not set
CONFIG_PICOTCP_TCP=y
CONFIG_PICOTCP_UDP=y
CONFIG_PICOTCP_DNS=y
# CONFIG_PICOTCP_MCAST is not set
# CONFIG_PICOTCP_NAT is not set
# CONFIG_PICOTCP_IPFILTER is not set
CONFIG_PICOTCP_LOOP=y
# CONFIG_PICOTCP_DEBUG is not set

#
# Device Drivers
#
DEVNULL=y
DEVUART=y
# USART_1 is not set
# USART_2 is not set
USART_6=y
DEV_USB_ETH=y
USB_DEFAULT_IP="192.168.6.150"
USB_DEFAULT_NM="255.255.255.0"
USB_DEFAULT_GW="192.168.6.1"
# DEVF7ETH is not set
# DEVSTM32SDIO is not set
DEVGPIO=y
DEVRNG=y
# DEVFRAMEBUFFER is not set

#
# Power Management
#