#!/usr/bin/bash set -e if [ $# -le 1 ]; then echo "Usage: generate_isrs.sh " exit 1 fi ISRS_GEN_C=$1 ISRS_GEN_ASM=$2 ISRS_WITH_ERROR_CODE="8 10 11 12 13 14 17 21 29 30" # C code echo "// (autogenerated file)" > $ISRS_GEN_C echo "#include \"idt.h\"" >> $ISRS_GEN_C echo "#include \"gdt.h\"" >> $ISRS_GEN_C echo "" >> $ISRS_GEN_C for i in $(seq 0 255); do echo "void __attribute__((cdecl)) i686_ISR${i}();" >> $ISRS_GEN_C done echo "" >> $ISRS_GEN_C echo "void i686_isr_initialize_gates(){" >> $ISRS_GEN_C for i in $(seq 0 255); do echo " i686_idt_set_gate(${i}, i686_ISR${i}, i686_GDT_CODE_SEGMENT, IDT_FLAG_RING0 | IDT_FLAG_GATE_32BIT_INT);" >> $ISRS_GEN_C done echo "}" >> $ISRS_GEN_C # Asm code echo "; (autogenerated file)" > $ISRS_GEN_ASM for i in $(seq 0 255); do if echo "$ISRS_WITH_ERROR_CODE" | grep -q "\b${i}\b"; then echo "ISR_ERRORCODE ${i}" >> $ISRS_GEN_ASM else echo "ISR_NOERRORCODE ${i}" >> $ISRS_GEN_ASM fi done