5 // To generate the kernel version:
6 // perl -p -e 's/l4_uint(\d+)_t/Unsigned$1/;s/^#inc.+/#include "types.h"/' koptions-def.h
8 namespace L4_kernel_options
13 F_serial_esc = 1 << 1,
26 F_profstart = 1 << 14,
28 F_jdb_never_stop = 1 << 16,
31 F_tbuf_entries = 1 << 18,
33 F_uart_baud = 1 << 20,
34 F_uart_base = 1 << 21,
47 Uart_type_invalid = 0,
54 Unsigned32 access_type; ///< Accesstype of UART: unset, MMIO or ports
55 Unsigned32 baud; ///< Baud rate
56 Unsigned32 irqno; ///< (Receive) IRQ
57 Unsigned64 base_address; ///< Start address of UART
58 } __attribute__((packed));
62 Unsigned32 magic; ///< Magic value
63 Unsigned32 version; ///< Version of this structure
65 Unsigned32 flags; ///< Option flags
67 Unsigned32 kmemsize; ///< Wanted kernel memory size in KiB
69 Uart uart; ///< Kernel UART
72 Unsigned32 tbuf_entries;
75 Unsigned32 opt(Flags flag) const { return flags & flag; }
77 } __attribute__((packed));