summaryrefslogtreecommitdiff
path: root/scripts/gen_idt
AgeCommit message (Expand)Author
2016-10-21gen_idt: remove int_vec_alloc bitfield from outputAndrew Boie
2016-09-24x86: add _init_irq_gate and use it in gen_idtAndrew Boie
2016-09-20x86: introduce new segmentation.h headerAndrew Boie
2016-09-12gen_idt: validate IRQ line before vector assignmentAndrew Boie
2016-09-07build: Use __CYGWIN__ to detect CygwinCarles Cufi
2016-09-06x86: remove dynamic interrupts and exceptionsAndrew Boie
2016-07-27gen_idt: add -d switch for extra debug infoAndrew Boie
2016-07-08gen_idt: don't force 32-bit buildAndrew Boie
2016-03-03gen_idt: correctly warn on duplicate IRQ connectionsAndrew Boie
2016-02-08x86: rebase priority levelsAndrew Boie
2016-02-05irq: size _irq_to_interrupt_vector_tableAndrew Boie
2016-02-05gen_idt: Change the custom host identifier macro.Yonattan Louise
2016-02-05Update static IDT generation to use IRQ priorityPeter Mitsis
2016-02-05gen_idt: add unspecified macrosPeter Mitsis
2016-02-05Change BSD-3 licenses to Apache 2Javier B Perez Hernandez
2016-02-05x86: Properly initialize _interrupt_vectors_allocated[] bitmapPeter Mitsis
2016-02-05x86: Update generation of static IDTPeter Mitsis
2016-02-05Refactor gen_idtPeter Mitsis
2016-02-05gen_idt: Fix issues found by checkpatchPeter Mitsis
2016-02-05gen_idt: Update file description sectionPeter Mitsis
2016-02-05remove shared/ and create files directlyAnas Nashif
2016-02-05Fix typo: occured -> occurredPeter Mitsis
2016-02-05Rename Zephyr OS into Zephyr KernelAnas Nashif
2016-02-05Eliminate VxMicro branding in build systemAllan Stephens
2016-02-05Replace use of __attribute__((packed)) with __packedPeter Mitsis
2016-02-05Kbuild: GenIdt auto build.Juan Manuel Cruz