add new system file

hc

2024-02-20 102a0743326a03cd1a1202ceda21e175b7d3575c

 kernel/kernel/printk/console_cmdline.h
..
..
@@ -6,6 +6,7 @@
6
6
 {
7
7
 	char	name[16];			/* Name of the driver	    */
8
8
 	int	index;				/* Minor dev. to use	    */
9
+	bool	user_specified;			/* Specified by command line vs. platform */
9
10
 	char	*options;			/* Options for the driver   */
10
11
 #ifdef CONFIG_A11Y_BRAILLE_CONSOLE
11
12
 	char	*brl_options;			/* Options for braille driver */