Ignore:
Timestamp:
Dec 14, 2013, 8:39:48 PM (11 years ago)
Author:
cfuguet
Message:
  • Modification in giet_xml/xml_parser.c: When parsing IRQs, compare agains IRQ_TYPE_* constants instead of numbers for readibility
  • Modification in giet_common/utils.c Adding utility function to write on CP0 status register
  • Modification in giet_boot/boot.c After loading the kernel.elf file, the GIET exception handler is available (giet entry point). Therefore, we can reset the BEV bit of the status register to use the giet entry point instead of the preloader entry point in case of exception during kernel init function.
File:
1 edited

Legend:

Unmodified
Added
Removed

  • soft/giet_vm/giet_xml/Makefile

    r258 r262  
    33
    44bin2xml: xml_driver.c mapping_info.h
    5         gcc -Wall -g -I. -I../sys xml_driver.c -o bin2xml
     5        gcc -Wall -I. -I../sys xml_driver.c -o bin2xml
    66
    77xml2bin: xml_parser.c mapping_info.h
    8         gcc -Wall -g -I. -I../giet_kernel -I/usr/include/libxml2 xml_parser.c -o xml2bin -lxml2
     8        gcc -Wall -I. -I../giet_kernel -I/usr/include/libxml2 xml_parser.c -o xml2bin -lxml2
    99
    1010test:
    … …  
    1818
    1919clean:
    20         rm xml2bin bin2xml
    21 
    22 
     20        rm -f xml2bin bin2xml
Note: See TracChangeset for help on using the changeset viewer.