Changeset 262 for soft/giet_vm/giet_xml

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.

Location:

soft/giet_vm/giet_xml

Files:

• Makefile (modified) (2 diffs)
• xml_parser.c (modified) (1 diff)

soft/giet_vm/giet_xml/Makefile

@@ -3 +3 @@
 
 bin2xml: xml_driver.c mapping_info.h
-        gcc -Wall -g -I. -I../sys xml_driver.c -o bin2xml
+        gcc -Wall -I. -I../sys xml_driver.c -o bin2xml
 
 xml2bin: xml_parser.c mapping_info.h
-        gcc -Wall -g -I. -I../giet_kernel -I/usr/include/libxml2 xml_parser.c -o xml2bin -lxml2
+        gcc -Wall -I. -I../giet_kernel -I/usr/include/libxml2 xml_parser.c -o xml2bin -lxml2
 
 test:
@@ -18 +18 @@
 
 clean:
-        rm xml2bin bin2xml
-
-
+        rm -f xml2bin bin2xml

soft/giet_vm/giet_xml/xml_parser.c

@@ -1545 +1545 @@
         printf("        type    = %s\n", str);
 #endif
-        if      ( strcmp(str, "HARD") == 0 ) irq[irq_index]->type = 0;
-        else if ( strcmp(str, "SOFT") == 0 ) irq[irq_index]->type = 1;
-        else if ( strcmp(str, "TIME") == 0 ) irq[irq_index]->type = 2;
+        if      ( strcmp(str, "HARD") == 0 ) irq[irq_index]->type = IRQ_TYPE_HWI;
+        else if ( strcmp(str, "SOFT") == 0 ) irq[irq_index]->type = IRQ_TYPE_SWI;
+        else if ( strcmp(str, "TIME") == 0 ) irq[irq_index]->type = IRQ_TYPE_PTI;
         else    
         {