Known Issues

get_cpu_gdt_table -- parser error in l/arch/x86/kernel/i8259.pi. parsing the function twice with overlapping conditions !CONFIG_X86_32 & CONFIG_X86_LOCAL_APIC and then !CONFIG_X86_32. both in line 367091 (or line 362427 in debugger)

kernel/smp strange scoping of struct declarations. created corresponding test cases, but did not implement it yet.

l/arch/x86/kernel/stacktrace.dbg problem unclear. small test case works. debug on full file