|  | @@ -1801,7 +1801,7 @@ config ADK_TARGET_CPU_XTENSA_DC233C
 | 
	
		
			
				|  |  |  	select ADK_TARGET_SUPPORTS_NPTL
 | 
	
		
			
				|  |  |  	select ADK_TARGET_SUPPORTS_LT
 | 
	
		
			
				|  |  |  	select ADK_TARGET_WITH_MMU
 | 
	
		
			
				|  |  | -	select ADK_TARGET_KERNEL_ZIMAGE
 | 
	
		
			
				|  |  | +	select ADK_TARGET_KERNEL_UIMAGE
 | 
	
		
			
				|  |  |  	select ADK_LINUX_KERNEL_XTENSA_VARIANT_DC233C if ADK_TARGET_OS_LINUX
 | 
	
		
			
				|  |  |  	select ADK_LINUX_KERNEL_INITIALIZE_XTENSA_MMU_INSIDE_VMLINUX if ADK_TARGET_OS_LINUX
 | 
	
		
			
				|  |  |  	select ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC233C if ADK_TARGET_OS_WALDUX
 | 
	
	
		
			
				|  | @@ -1815,7 +1815,7 @@ config ADK_TARGET_CPU_XTENSA_DC232B
 | 
	
		
			
				|  |  |  	select ADK_TARGET_SUPPORTS_NPTL
 | 
	
		
			
				|  |  |  	select ADK_TARGET_SUPPORTS_LT
 | 
	
		
			
				|  |  |  	select ADK_TARGET_WITH_MMU
 | 
	
		
			
				|  |  | -	select ADK_TARGET_KERNEL_ZIMAGE
 | 
	
		
			
				|  |  | +	select ADK_TARGET_KERNEL_UIMAGE
 | 
	
		
			
				|  |  |  	select ADK_LINUX_KERNEL_XTENSA_VARIANT_DC232B if ADK_TARGET_OS_LINUX
 | 
	
		
			
				|  |  |  	select ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC232B if ADK_TARGET_OS_WALDUX
 | 
	
		
			
				|  |  |  	depends on ADK_TARGET_ARCH_XTENSA
 | 
	
	
		
			
				|  | @@ -1839,7 +1839,7 @@ config ADK_TARGET_CPU_XTENSA_KC705_BE
 | 
	
		
			
				|  |  |  	select ADK_TARGET_SUPPORTS_NPTL
 | 
	
		
			
				|  |  |  	select ADK_TARGET_SUPPORTS_LT
 | 
	
		
			
				|  |  |  	select ADK_TARGET_WITH_MMU
 | 
	
		
			
				|  |  | -	select ADK_TARGET_KERNEL_ZIMAGE
 | 
	
		
			
				|  |  | +	select ADK_TARGET_KERNEL_UIMAGE
 | 
	
		
			
				|  |  |  	select ADK_LINUX_KERNEL_XTENSA_VARIANT_DC233C if ADK_TARGET_OS_LINUX
 | 
	
		
			
				|  |  |  	select ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC233C if ADK_TARGET_OS_WALDUX
 | 
	
		
			
				|  |  |  	depends on ADK_TARGET_ARCH_XTENSA
 |