microblaze: Remove noMMU code

	def_bool y

	select ARCH_32BIT_OFF_T

	select ARCH_NO_SWAP

	select ARCH_HAS_BINFMT_FLAT if !MMU

	select ARCH_HAS_DMA_PREP_COHERENT

	select ARCH_HAS_GCOV_PROFILE_ALL

	select ARCH_HAS_SYNC_DMA_FOR_CPU

	select ARCH_HAS_SYNC_DMA_FOR_DEVICE

	select ARCH_HAS_DMA_SET_UNCACHED if !MMU

	select ARCH_MIGHT_HAVE_PC_PARPORT

	select ARCH_WANT_IPC_PARSE_VERSION

	select BUILDTIME_TABLE_SORT

	select TIMER_OF

	select CLONE_BACKWARDS3

	select COMMON_CLK

	select DMA_DIRECT_REMAP if MMU

	select DMA_DIRECT_REMAP

	select GENERIC_ATOMIC64

	select GENERIC_CLOCKEVENTS

	select GENERIC_CPU_DEVICES

	select TRACING_SUPPORT

	select VIRT_TO_BUS

	select CPU_NO_EFFICIENT_FFS

	select MMU_GATHER_NO_RANGE if MMU

	select MMU_GATHER_NO_RANGE

	select SPARSE_IRQ

	select SET_FS

source "kernel/Kconfig.hz"

config MMU

	bool "MMU support"

	default n

	def_bool y

comment "Boot options"

comment "Default settings for advanced configuration options are used"

	depends on !ADVANCED_OPTIONS

config XILINX_UNCACHED_SHADOW

	bool "Are you using uncached shadow for RAM ?"

	depends on ADVANCED_OPTIONS && !MMU

	default n

	help

	  This is needed to be able to allocate uncachable memory regions.

	  The feature requires the design to define the RAM memory controller

	  window to be twice as large as the actual physical memory.

config HIGHMEM

	bool "High memory support"

	depends on MMU

	help

	  The address space of Microblaze processors is only 4 Gigabytes large

	  and it has to accommodate user address space, kernel address

config LOWMEM_SIZE_BOOL

	bool "Set maximum low memory"

	depends on ADVANCED_OPTIONS && MMU

	depends on ADVANCED_OPTIONS

	help

	  This option allows you to set the maximum amount of memory which

	  will be used as "low memory", that is, memory which the kernel can

config KERNEL_START

	hex "Virtual address of kernel base" if KERNEL_START_BOOL

	default "0xc0000000" if MMU

	default KERNEL_BASE_ADDR if !MMU

	default "0xc0000000"

config TASK_SIZE_BOOL

	bool "Set custom user task size"

	depends on ADVANCED_OPTIONS && MMU

	depends on ADVANCED_OPTIONS

	help

	  This option allows you to set the amount of virtual address space

	  allocated to user tasks.  This can be useful in optimizing the

	hex "Size of user task space" if TASK_SIZE_BOOL

	default "0x80000000"

choice

	prompt "Page size"

	default MICROBLAZE_4K_PAGES

	depends on ADVANCED_OPTIONS && !MMU

	help

	  Select the kernel logical page size. Increasing the page size

	  will reduce software overhead at each page boundary, allow

	  hardware prefetch mechanisms to be more effective, and allow

	  larger dma transfers increasing IO efficiency and reducing

	  overhead. However the utilization of memory will increase.

	  For example, each cached file will using a multiple of the

	  page size to hold its contents and the difference between the

	  end of file and the end of page is wasted.

	  If unsure, choose 4K_PAGES.

config MICROBLAZE_4K_PAGES

	bool "4k page size"

config MICROBLAZE_16K_PAGES

	bool "16k page size"

config MICROBLAZE_64K_PAGES

	bool "64k page size"

endchoice

endmenu

menu "Bus Options"

# SPDX-License-Identifier: GPL-2.0

KBUILD_DEFCONFIG := mmu_defconfig

ifeq ($(CONFIG_MMU),y)

UTS_SYSNAME = -DUTS_SYSNAME=\"Linux\"

else

UTS_SYSNAME = -DUTS_SYSNAME=\"uClinux\"

endif

# What CPU vesion are we building for, and crack it open

# as major.minor.rev

core-y	+= $(boot)/dts/

# defines filename extension depending memory management type

ifeq ($(CONFIG_MMU),)

MMU := -nommu

endif

export MMU DTB

export DTB

all: linux.bin

CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2

CONFIG_XILINX_MICROBLAZE0_USE_FPU=2

CONFIG_HZ_100=y

CONFIG_MMU=y

CONFIG_CMDLINE_BOOL=y

CONFIG_CMDLINE_FORCE=y

CONFIG_HIGHMEM=y

CONFIG_SYSVIPC=y

CONFIG_POSIX_MQUEUE=y

CONFIG_AUDIT=y

CONFIG_BSD_PROCESS_ACCT=y

CONFIG_BSD_PROCESS_ACCT_V3=y

CONFIG_IKCONFIG=y

CONFIG_IKCONFIG_PROC=y

CONFIG_SYSFS_DEPRECATED=y

CONFIG_SYSFS_DEPRECATED_V2=y

# CONFIG_BASE_FULL is not set

CONFIG_KALLSYMS_ALL=y

CONFIG_EMBEDDED=y

CONFIG_SLAB=y

CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1

CONFIG_XILINX_MICROBLAZE0_USE_PCMP_INSTR=1

CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1

CONFIG_XILINX_MICROBLAZE0_USE_DIV=1

CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=2

CONFIG_XILINX_MICROBLAZE0_USE_FPU=2

CONFIG_HZ_100=y

CONFIG_CMDLINE_BOOL=y

CONFIG_CMDLINE_FORCE=y

CONFIG_PCI_XILINX=y

CONFIG_MODULES=y

CONFIG_MODULE_UNLOAD=y

# CONFIG_BLK_DEV_BSG is not set

CONFIG_PARTITION_ADVANCED=y

# CONFIG_EFI_PARTITION is not set

CONFIG_NET=y

CONFIG_PACKET=y

CONFIG_UNIX=y

CONFIG_INET=y

# CONFIG_IPV6 is not set

CONFIG_PCI=y

CONFIG_MTD=y

CONFIG_MTD_CMDLINE_PARTS=y

CONFIG_MTD_BLOCK=y

CONFIG_MTD_CFI=y

CONFIG_MTD_CFI_INTELEXT=y

CONFIG_MTD_CFI_AMDSTD=y

CONFIG_MTD_RAM=y

CONFIG_MTD_UCLINUX=y

CONFIG_BLK_DEV_RAM=y

CONFIG_BLK_DEV_RAM_SIZE=8192

CONFIG_NETDEVICES=y

CONFIG_XILINX_EMACLITE=y

CONFIG_XILINX_LL_TEMAC=y

# CONFIG_INPUT is not set

# CONFIG_SERIO is not set

# CONFIG_VT is not set

CONFIG_SERIAL_8250=y

CONFIG_SERIAL_8250_CONSOLE=y

CONFIG_SERIAL_OF_PLATFORM=y

CONFIG_SERIAL_UARTLITE=y

CONFIG_SERIAL_UARTLITE_CONSOLE=y

# CONFIG_HW_RANDOM is not set

CONFIG_XILINX_HWICAP=y

CONFIG_I2C=y

CONFIG_I2C_XILINX=y

CONFIG_SPI=y

CONFIG_SPI_XILINX=y

CONFIG_GPIOLIB=y

CONFIG_GPIO_SYSFS=y

CONFIG_GPIO_XILINX=y

CONFIG_POWER_RESET=y

CONFIG_POWER_RESET_GPIO_RESTART=y

# CONFIG_HWMON is not set

CONFIG_WATCHDOG=y

CONFIG_XILINX_WATCHDOG=y

CONFIG_FB=y

CONFIG_FB_XILINX=y

# CONFIG_USB_SUPPORT is not set

CONFIG_EXT3_FS=y

# CONFIG_DNOTIFY is not set

CONFIG_CRAMFS=y

CONFIG_ROMFS_FS=y

CONFIG_NFS_FS=y

CONFIG_NFS_V3_ACL=y

CONFIG_NLS=y

CONFIG_KEYS=y

CONFIG_ENCRYPTED_KEYS=y

CONFIG_CRYPTO_ECB=y

CONFIG_CRYPTO_MD4=y

CONFIG_CRYPTO_MD5=y

CONFIG_CRYPTO_ARC4=y

CONFIG_CRYPTO_DES=y

CONFIG_DEBUG_INFO=y

CONFIG_DEBUG_SLAB=y

CONFIG_DETECT_HUNG_TASK=y

CONFIG_DEBUG_SPINLOCK=y

#ifndef _ASM_MICROBLAZE_DMA_H

#define _ASM_MICROBLAZE_DMA_H

#ifndef CONFIG_MMU

/* we don't have dma address limit. define it as zero to be

 * unlimited. */

#define MAX_DMA_ADDRESS		(0)

#else

/* Virtual address corresponding to last available physical memory address.  */

#define MAX_DMA_ADDRESS (CONFIG_KERNEL_START + memory_size - 1)

#endif

#ifdef CONFIG_PCI

extern int isa_dma_bridge_buggy;