Changes in kernel/generic/include/config.h [525c5ac:a35b458] in mainline

File:

• kernel/generic/include/config.h (modified) (2 diffs)

kernel/generic/include/config.h

@@ -82 +82 @@
         /** Number of processors that are up and running. */
         volatile size_t cpu_active;
-        
+
         uintptr_t base;
         /** Size of memory in bytes taken by kernel and stack. */
         size_t kernel_size;
-        
+
         /** Base adddress of initial stack. */
         uintptr_t stack_base;
         /** Size of initial stack. */
         size_t stack_size;
-        
+
         bool identity_configured;
         /** Base address of the kernel identity mapped memory. */
@@ -97 +97 @@
         /** Size of the kernel identity mapped memory. */
         size_t identity_size;
-        
+
         bool non_identity_configured;
-        
+
         /** End of physical memory. */
         uint64_t physmem_end;