/* Show that boot threads belong to the default memory domain. 
Static threads and the main thread are supposed to start as members of the default memory domain. Prove this is the case by examining the memory domain membership of z_main_thread and a static thread.  */
ZTEST(mem_protect_domain, test_mem_domain_boot_threads)
/* Show that boot threads belong to the default memory domain. 
Static threads and the main thread are supposed to start as members of the default memory domain. Prove this is the case by examining the memory domain membership of z_main_thread and a static thread.  */
ZTEST(mem_protect_domain, test_mem_domain_boot_threads)
{
	zassert_true(zzz_thread->mem_domain_info.mem_domain ==
		     &k_mem_domain_default, "unexpected mem domain %p",
		     zzz_thread->mem_domain_info.mem_domain);
	zassert_true(z_main_thread.mem_domain_info.mem_domain ==
		     &k_mem_domain_default, "unexpected mem domain %p",
		     z_main_thread.mem_domain_info.mem_domain);
	k_thread_abort(zzz_thread);
}