diff --git a/kernel/include/kernel_arch_interface.h b/kernel/include/kernel_arch_interface.h index d1cd87df859..0173a4ae398 100644 --- a/kernel/include/kernel_arch_interface.h +++ b/kernel/include/kernel_arch_interface.h @@ -562,9 +562,6 @@ int arch_printk_char_out(int c); * * This function is invoked near the top of _Cstart, for additional * architecture-specific setup before the rest of the kernel is brought up. - * - * TODO: Deprecate, most arches are using a prep_c() function to do the same - * thing in a simpler way */ static inline void arch_kernel_init(void);