#
# Automatically generated make config: don't edit
#
CONFIG_RMT=y

#
# Code maturity level options
#
# CONFIG_EXPERIMENTAL is not set
CONFIG_CLEAN_COMPILE=y
CONFIG_STANDALONE=y
CONFIG_BROKEN_ON_SMP=y

#
# General setup
#
CONFIG_SWAP=y
CONFIG_SYSVIPC=y
CONFIG_BSD_PROCESS_ACCT=y
CONFIG_SYSCTL=y
CONFIG_LOG_BUF_SHIFT=14
# CONFIG_HOTPLUG is not set
# CONFIG_IKCONFIG is not set
CONFIG_EMBEDDED=y
# CONFIG_KALLSYMS is not set
CONFIG_FUTEX=y
CONFIG_EPOLL=y
CONFIG_IOSCHED_NOOP=y
CONFIG_IOSCHED_AS=y
CONFIG_IOSCHED_DEADLINE=y
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set

#
# Loadable module support
#
# CONFIG_MODULES is not set

#
# Machine selection
#
CONFIG_RMT_INSTSIM=y
# CONFIG_RMT_CLOCKSIM is not set
# CONFIG_RMT_REALMACHINE is not set
# CONFIG_RMT_AXEIO is not set
CONFIG_RMT_UARTIO=y
# CONFIG_RMT_CACHE_ENABLE is not set
# CONFIG_RMT_KERNEL_ICACHE_ENABLE is not set
CONFIG_RMT_FILEMAPIO=y
CONFIG_RAM_SIZE=0x04000000
CONFIG_RWSEM_GENERIC_SPINLOCK=y
CONFIG_HAVE_DEC_LOCK=y
# CONFIG_DMA_COHERENT is not set
CONFIG_DMA_NONCOHERENT=y
CONFIG_EARLY_PRINTK=y
# CONFIG_GENERIC_ISA_DMA is not set
# CONFIG_I8259 is not set
# CONFIG_CPU_LITTLE_ENDIAN is not set
CONFIG_IRQ_CPU=y
# CONFIG_DUMMY_KEYB is not set
# CONFIG_SWAP_IO_SPACE is not set
CONFIG_RMT_TLB_GROUP_FIX_BIND=y
# CONFIG_BOOT_ELF32 is not set
CONFIG_MIPS_L1_CACHE_SHIFT=4
# CONFIG_FB is not set
# CONFIG_FB_G364 is not set
# CONFIG_HAVE_STD_PC_SERIAL_PORT is not set
# CONFIG_BOARD_SCACHE is not set
# CONFIG_BOOT_ELF64 is not set
CONFIG_HZ=100
# CONFIG_CALIBRATE_DELAY_AVOIDANCE is not set

#
# CPU selection
#
CONFIG_CPU_URMTP1=y
# CONFIG_CPU_URMTP2 is not set
# CONFIG_CPU_MRMTP is not set
CONFIG_PAGE_SIZE_4KB=y
# CONFIG_PAGE_SIZE_16KB is not set
# CONFIG_PAGE_SIZE_64KB is not set
# CONFIG_R5000_CPU_SCACHE is not set
CONFIG_CPU_HAS_PREFETCH=y
CONFIG_CPU_HAS_LLSC=y
CONFIG_CPU_HAS_SYNC=y
# CONFIG_SMP is not set
# CONFIG_PREEMPT is not set
# CONFIG_DEBUG_SPINLOCK_SLEEP is not set
CONFIG_RMT_COUNT_TICK=y

#
# Bus options (PCI, PCMCIA, EISA, ISA, TC)
#
# CONFIG_PCI is not set
CONFIG_MMU=y

#
# Executable file formats
#
CONFIG_BINFMT_ELF=y
# CONFIG_BINFMT_AOUT is not set
# CONFIG_BINFMT_MISC is not set
CONFIG_TRAD_SIGNALS=y
# CONFIG_BINFMT_IRIX is not set

#
# RMT Device Drivers
#
# CONFIG_RMT_RESPONSIVE_LINK is not set

#
# RMT DEBUG options
#
# CONFIG_AXE_DEBUG is not set
CONFIG_AXE_AVOID=y
CONFIG_RMTDEBUG_REGSDUMP=y
# CONFIG_RMTBUG_LWLLWR is not set
CONFIG_RMTBUG_BEQJALR=y
CONFIG_RMTBUG_MMUREAD=y
CONFIG_RMTBUG_BEQSYS=y
CONFIG_RMTBUG_SWBEQ=y
CONFIG_RMTBUG_RMTSYNC_MAYBE=y
CONFIG_RMTTIMER_NOUSE=y
# CONFIG_RMT_DEBUG_TIMER_INTERRUPT_RATE_MULTIPLY is not set
CONFIG_RMTBUG_GCC_LONGLONG_MULDEV=y
CONFIG_RMTBUG_EXCEPTION_ON_DELAYSLOT=y
CONFIG_KERNEL_VERBOSE=y
# CONFIG_RMT_SPINLOCK_RETRY_WITH_WAIT is not set
CONFIG_RMT_NO_ROPAGE=y
# CONFIG_RMT_TLBFLUSH_UACCESS is not set
CONFIG_RMT_TESTPAGE_UACCESS=y
CONFIG_RMT_FIX_VERSION_STRING=y

#
# RMT initrd options
#
CONFIG_EMBEDDED_RAMDISK=y
# CONFIG_EMPTY_RAMDISK is not set
CONFIG_EMBEDDED_RAMDISK_IMAGE="ramdisk"
# CONFIG_EMBEDDED_RAMDISK_ALLOW_INITRAMFS is not set
# CONFIG_GZIP_RAMDISK is not set

#
# Device Drivers
#

#
# Generic Driver Options
#

#
# Block devices
#
# CONFIG_BLK_DEV_FD is not set
# CONFIG_BLK_DEV_LOOP is not set
CONFIG_BLK_DEV_RAM=y
CONFIG_BLK_DEV_RAM_SIZE=10240
CONFIG_BLK_DEV_INITRD=y

#
# Networking support
#
# CONFIG_NET is not set
# CONFIG_NETPOLL is not set
# CONFIG_NET_POLL_CONTROLLER is not set

#
# Input device support
#
# CONFIG_INPUT is not set

#
# Userland interfaces
#

#
# Input I/O drivers
#
# CONFIG_SERIO is not set
# CONFIG_SERIO_I8042 is not set

#
# Input Device Drivers
#

#
# Character devices
#
# CONFIG_VT is not set
# CONFIG_SERIAL_NONSTANDARD is not set

#
# Serial drivers
#
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
CONFIG_SERIAL_8250_NR_UARTS=1
# CONFIG_SERIAL_8250_EXTENDED is not set

#
# Non-8250 serial port support
#
CONFIG_SERIAL_CORE=y
CONFIG_SERIAL_CORE_CONSOLE=y
# CONFIG_UNIX98_PTYS is not set
# CONFIG_LEGACY_PTYS is not set
# CONFIG_QIC02_TAPE is not set
# CONFIG_RTC is not set
# CONFIG_GEN_RTC is not set
# CONFIG_DTLK is not set
# CONFIG_R3964 is not set
# CONFIG_APPLICOM is not set

#
# Ftape, the floppy tape device driver
#
# CONFIG_FTAPE is not set
# CONFIG_RAW_DRIVER is not set

#
# Graphics support
#

#
# File systems
#
CONFIG_EXT2_FS=y
# CONFIG_EXT2_FS_XATTR is not set
# CONFIG_EXT3_FS is not set
# CONFIG_JBD is not set
# CONFIG_REISERFS_FS is not set
# CONFIG_JFS_FS is not set
# CONFIG_XFS_FS is not set
# CONFIG_MINIX_FS is not set
# CONFIG_ROMFS_FS is not set
# CONFIG_QUOTA is not set
# CONFIG_AUTOFS_FS is not set
# CONFIG_AUTOFS4_FS is not set

#
# CD-ROM/DVD Filesystems
#
# CONFIG_ISO9660_FS is not set
# CONFIG_UDF_FS is not set

#
# DOS/FAT/NT Filesystems
#
# CONFIG_FAT_FS is not set
# CONFIG_NTFS_FS is not set

#
# Pseudo filesystems
#
CONFIG_PROC_FS=y
CONFIG_PROC_KCORE=y
CONFIG_TMPFS=y
# CONFIG_HUGETLB_PAGE is not set
CONFIG_RAMFS=y

#
# Miscellaneous filesystems
#
# CONFIG_HFSPLUS_FS is not set
# CONFIG_CRAMFS is not set
# CONFIG_VXFS_FS is not set
# CONFIG_HPFS_FS is not set
# CONFIG_QNX4FS_FS is not set
# CONFIG_SYSV_FS is not set
# CONFIG_UFS_FS is not set

#
# Partition Types
#
# CONFIG_PARTITION_ADVANCED is not set
CONFIG_MSDOS_PARTITION=y

#
# Kernel hacking
#
CONFIG_CROSSCOMPILE=y
CONFIG_CMDLINE="console=ttyS0,38400 rw init=/bin/sh"

#
# Security options
#
# CONFIG_SECURITY is not set

#
# Library routines
#
# CONFIG_CRC32 is not set
