Changeset 6c28fd79cfb1c70185df7215540e564dd061058d

Timestamp:

11/02/09 18:53:12 (3 years ago)

Author:

Erwan Velu <erwan.velu@…>

Children:

c9d07318d415f697a873e40f933834ff0e8e949b

Parents:

aa1724e7a975430c7b8b53359e94c225622f4957, eed4119f07af14cb24ec3ae4e9678dbeb5de80de

git-committer:

Erwan Velu <erwan.velu@free.fr> / 2009-11-02T19:53:12Z+0100

Message:

Merge branch 'master' of  ssh://terminus.zytor.com//pub/git/users/erwan/hdt

Location:

com32

Files:

• cmenu/libmenu/menu.c (modified) (1 diff)
• gpllib/dmi/dmi.c (modified) (6 diffs)
• hdt/Makefile (modified) (4 diffs)
• hdt/hdt-cli-disk.c (modified) (3 diffs)
• hdt/hdt-cli-dmi.c (modified) (15 diffs)
• hdt/hdt-cli-hdt.c (modified) (6 diffs)
• hdt/hdt-cli-kernel.c (modified) (4 diffs)
• hdt/hdt-cli-memory.c (modified) (1 diff)
• hdt/hdt-cli-pci.c (modified) (6 diffs)
• hdt/hdt-cli-pxe.c (modified) (2 diffs)
• hdt/hdt-cli-syslinux.c (modified) (1 diff)
• hdt/hdt-cli-vesa.c (modified) (3 diffs)
• hdt/hdt-cli-vpd.c (modified) (1 diff)
• hdt/hdt-cli.h (modified) (1 diff)
• hdt/hdt-common.c (modified) (2 diffs)
• hdt/hdt-common.h (modified) (2 diffs)
• hdt/hdt-menu-about.c (modified) (2 diffs)
• hdt/hdt-menu.c (modified) (2 diffs)
• hdt/hdt.c (modified) (2 diffs)
• hdt/hdt.h (modified) (1 diff)

com32/cmenu/libmenu/menu.c

@@ -658 +658 @@
     cursoron();
     cls();
+    gotoxy(ms->minrow, ms->mincol);
 
     // Return user choice

com32/gpllib/dmi/dmi.c

@@ -445 +445 @@
 }
 
-int dmi_checksum(uint8_t * buf, int len)
+int checksum(uint8_t * buf, int len)
 {
     uint8_t sum = 0;
@@ -482 +482 @@
         buf[11] << 24 | buf[10] << 16 | buf[9] << 8 | buf[8];
 
+    /* Version already found? */
     if (dmi->dmitable.ver>0) return DMI_TABLE_PRESENT;
 
@@ -491 +492 @@
      */
     if (buf[14] != 0) {
-        dmi->dmitable.major_version = buf[14] >> 4;
-        dmi->dmitable.minor_version = buf[14] & 0x0F;
+        dmi->dmitable.major_version = buf[14] >> 4;
+        dmi->dmitable.minor_version = buf[14] & 0x0F;
     } else {
-        dmi->dmitable.major_version = 0;
-        dmi->dmitable.minor_version = 0;
+        dmi->dmitable.major_version = 0;
+        dmi->dmitable.minor_version = 0;
     }
     return DMI_TABLE_PRESENT;
@@ -503 +504 @@
 int dmi_iterate(s_dmi * dmi)
 {
-    uint8_t buf[DMI_BUFFER_SIZE];
-    char *p, *q;
+    uint8_t *p, *q;
+    int found = 0;
 
     /* Cleaning structures */
@@ -526 +527 @@
     dmi->system.filled = false;
 
-    p = (char *)0xF0000;        /* The start address to look at the dmi table */
+    p = (uint8_t *)0xF0000;     /* The start address to look at the dmi table */
+    /* The anchor-string is 16-bytes aligned */
     for (q = p; q < p + 0x10000; q += 16) {
-        memcpy(buf, q, 15);
-        if (memcmp(buf, "_SM_", 4) == 0) {
-                smbios_decode(dmi,buf);
-        }
-        if (memcmp(buf, "_DMI_", 5) == 0 && dmi_checksum(buf,sizeof(buf))) {
-                return legacy_decode(dmi,buf);
-        }
-    }
+        /* To validate the presence of SMBIOS:
+         * + the overall checksum must be correct
+         * + the intermediate anchor-string must be _DMI_
+         * + the intermediate checksum must be correct
+         */
+        if (memcmp(q, "_SM_", 4) == 0 &&
+            checksum(q, q[0x05]) &&
+            memcmp(q + 0x10, "_DMI_", 5)==0 &&
+            checksum(q + 0x10, 0x0F)) {
+            /* Do not return, legacy_decode will need to be called
+             * on the intermediate structure to get the table length
+             * and address
+             */
+            smbios_decode(dmi, q);
+        } else if (memcmp(q, "_DMI_", 5) == 0 && checksum(q, 0x0F)) {
+            found = 1;
+            legacy_decode(dmi, q);
+        }
+    }
+
+    if (found)
+        return DMI_TABLE_PRESENT;
+
     dmi->dmitable.base = 0;
     dmi->dmitable.num = 0;
@@ -651 +668 @@
                         else
                                 sprintf(dmi->processor.status,"Unpopulated");
-                        sprintf(dmi->processor.upgrade,dmi_processor_upgrade(data[0x19]));
+                        strcpy(dmi->processor.upgrade,dmi_processor_upgrade(data[0x19]));
                         if(h->length<0x20) break;
                         dmi_processor_cache(WORD(data+0x1A), "L1", ver,dmi->processor.cache1);

com32/hdt/Makefile

@@ -35 +35 @@
 FLOPPY_DIR              ?= floppy
 PCI_IDS_FILE            ?= $(PWD)/$(FLOPPY_DIR)/pci.ids
+REBOOT_COM32            ?= $(com32)/modules/reboot.c32
 
 all: $(MODULES) $(TESTFILES)
@@ -41 +42 @@
         $(LD) $(LDFLAGS) -o $@ $^
 
-hdt.img: hdt.c32 $(FLOPPY_DIR)/hdt.cfg $(FLOPPY_DIR)/mtools.conf $(topdir)/mtools/syslinux
+hdt.img: hdt.c32 $(FLOPPY_DIR)/hdt.cfg $(FLOPPY_DIR)/mtools.conf $(topdir)/mtools/syslinux $(REBOOT_COM32)
         rm -f hdt.img
         MTOOLSRC=$(PWD)/$(FLOPPY_DIR)/mtools.conf $(MFORMAT) -v HDT -f 2880 -C a:
@@ -50 +51 @@
         -[ -f $(MODULES_PCIMAP_FILE) ] && MTOOLSRC=$(PWD)/$(FLOPPY_DIR)/mtools.conf $(MCOPY) $(MODULES_PCIMAP_FILE) a:
         MTOOLSRC=$(PWD)/$(FLOPPY_DIR)/mtools.conf $(MCOPY) hdt.c32 a:
+        MTOOLSRC=$(PWD)/$(FLOPPY_DIR)/mtools.conf $(MCOPY) $(REBOOT_COM32) a:
         @ [ -f $(PCI_IDS_FILE) ] && MTOOLSRC=$(PWD)/$(FLOPPY_DIR)/mtools.conf $(MCOPY) $(PCI_IDS_FILE) a: || printf "\nThe $(FLOPPY_DIR)/pci.ids file is missing and can be downloaded from http://pciids.sourceforge.net and put in\nthe ./com32/hdt/$(FLOPPY_DIR) directory of the extracted Syslinux source.\n\n"
         MTOOLSRC=$(PWD)/$(FLOPPY_DIR)/mtools.conf $(MCOPY) $(FLOPPY_DIR)/hdt.cfg a:syslinux.cfg
@@ -64 +66 @@
         cp $(FLOPPY_DIR)/hdt.cfg $(ISO_DIR)/$(ISOLINUX_DIR)/isolinux.cfg
         cp hdt.c32 $(ISO_DIR)/$(ISOLINUX_DIR)
+        cp $(REBOOT_COM32) $(ISO_DIR)/$(ISOLINUX_DIR)
         -[ ! -f $(PCI_IDS_FILE) ] && cp /usr/share/hwdata/pci.ids $(PCI_IDS_FILE)
         -[ ! -f $(PCI_IDS_FILE) ] && cp /usr/share/pci.ids $(PCI_IDS_FILE)

com32/hdt/hdt-cli-disk.c

@@ -63 +63 @@
         int i = nb_partitions_seen;
 
+    reset_more_printf();
+
         start = partition_offset;
         end = start + ptab->length - 1;
@@ -115 +117 @@
 
         detect_disks(hardware);
+    reset_more_printf();
+
         if (!hardware->disk_info[i].cbios)
                 return; /* Invalid geometry */
@@ -158 +162 @@
         detect_disks(hardware);
 
-        int first_one = 0;
+    int first_one = 0;
         for (int drive = 0x80; drive < 0xff; drive++) {
                 if (hardware->disk_info[drive - 0x80].cbios) {
-                        if (!first_one) {
-                                first_one = 1;
-                        } else {
-                                pause_printf();
-                        }
+            if (!first_one) {
+                    first_one = 1;
+            } else {
+                    pause_printf();
+            }
                         char buf[5] = "";
                         sprintf(buf, "0x%x", drive);

com32/hdt/hdt-cli-dmi.c

@@ -39 +39 @@
 {
   char available_dmi_commands[1024];
+  reset_more_printf();
   memset(available_dmi_commands, 0, sizeof(available_dmi_commands));
 
-  printf("Available DMI modules on your system:\n");
+  more_printf("Available DMI modules on your system:\n");
         if (hardware->dmi.base_board.filled == true)
-                printf("\t%s\n", CLI_DMI_BASE_BOARD);
+                more_printf("\t%s\n", CLI_DMI_BASE_BOARD);
         if (hardware->dmi.battery.filled == true)
-                printf("\t%s\n", CLI_DMI_BATTERY);
+                more_printf("\t%s\n", CLI_DMI_BATTERY);
         if (hardware->dmi.bios.filled == true)
-                printf("\t%s\n", CLI_DMI_BIOS);
+                more_printf("\t%s\n", CLI_DMI_BIOS);
         if (hardware->dmi.chassis.filled == true)
-                printf("\t%s\n", CLI_DMI_CHASSIS);
+                more_printf("\t%s\n", CLI_DMI_CHASSIS);
         for (int i = 0; i < hardware->dmi.memory_count; i++) {
                 if (hardware->dmi.memory[i].filled == true) {
-                        printf("\tbank <number>\n");
+                        more_printf("\tbank <number>\n");
                         break;
                 }
@@ -58 +59 @@
         for (int i = 0; i < hardware->dmi.memory_module_count; i++) {
                 if (hardware->dmi.memory_module[i].filled == true) {
-                        printf("\tmodule <number>\n");
+                        more_printf("\tmodule <number>\n");
                         break;
                 }
         }
         if (hardware->dmi.processor.filled == true)
-                printf("\t%s\n", CLI_DMI_PROCESSOR);
+                more_printf("\t%s\n", CLI_DMI_PROCESSOR);
         if (hardware->dmi.system.filled == true)
-                printf("\t%s\n", CLI_DMI_SYSTEM);
+                more_printf("\t%s\n", CLI_DMI_SYSTEM);
         if (hardware->dmi.ipmi.filled == true)
-                printf("\t%s\n", CLI_DMI_IPMI);
+                more_printf("\t%s\n", CLI_DMI_IPMI);
         if (hardware->dmi.cache_count)
-                printf("\t%s\n", CLI_DMI_CACHE);
+                more_printf("\t%s\n", CLI_DMI_CACHE);
         if (strlen(hardware->dmi.oem_strings))
                 more_printf("\t%s\n", CLI_DMI_OEM);
         if (hardware->dmi.hardware_security.filled)
-                printf("\t%s\n", CLI_DMI_SECURITY);
+                more_printf("\t%s\n", CLI_DMI_SECURITY);
 }
 
@@ -80 +81 @@
 {
   if (hardware->dmi.base_board.filled == false) {
-    printf("base_board information not found on your system, see "
+    more_printf("base_board information not found on your system, see "
            "`show list' to see which module is available.\n");
     return;
@@ -115 +116 @@
 {
   if (hardware->dmi.system.filled == false) {
-    printf("system information not found on your system, see "
+    more_printf("system information not found on your system, see "
            "`show list' to see which module is available.\n");
     return;
   }
-  printf("System\n");
-  printf(" Manufacturer : %s\n", hardware->dmi.system.manufacturer);
-  printf(" Product Name : %s\n", hardware->dmi.system.product_name);
-  printf(" Version      : %s\n", hardware->dmi.system.version);
-  printf(" Serial       : %s\n", hardware->dmi.system.serial);
-  printf(" UUID         : %s\n", hardware->dmi.system.uuid);
-  printf(" Wakeup Type  : %s\n", hardware->dmi.system.wakeup_type);
-  printf(" SKU Number   : %s\n", hardware->dmi.system.sku_number);
-  printf(" Family       : %s\n", hardware->dmi.system.family);
+  reset_more_printf();
+  more_printf("System\n");
+  more_printf(" Manufacturer : %s\n", hardware->dmi.system.manufacturer);
+  more_printf(" Product Name : %s\n", hardware->dmi.system.product_name);
+  more_printf(" Version      : %s\n", hardware->dmi.system.version);
+  more_printf(" Serial       : %s\n", hardware->dmi.system.serial);
+  more_printf(" UUID         : %s\n", hardware->dmi.system.uuid);
+  more_printf(" Wakeup Type  : %s\n", hardware->dmi.system.wakeup_type);
+  more_printf(" SKU Number   : %s\n", hardware->dmi.system.sku_number);
+  more_printf(" Family       : %s\n", hardware->dmi.system.family);
 
   if (strlen(hardware->dmi.system.configuration_options)) {
-    printf("System Configuration Options\n");
-    printf("%s\n", hardware->dmi.system.configuration_options);
+    more_printf("System Configuration Options\n");
+    more_printf("%s\n", hardware->dmi.system.configuration_options);
   }
 
   if (hardware->dmi.system.system_reset.filled) {
-    printf("System Reset\n");
-    printf("  Status               : %s\n",
+    more_printf("System Reset\n");
+    more_printf("  Status               : %s\n",
            (hardware->dmi.system.system_reset.status ? "Enabled" : "Disabled"));
-    printf("  Watchdog Timer       : %s\n",
+    more_printf("  Watchdog Timer       : %s\n",
            (hardware->dmi.system.system_reset.watchdog ? "Present" : "Not Present"));
     if (strlen(hardware->dmi.system.system_reset.boot_option))
-      printf("  Boot Option          : %s\n", hardware->dmi.system.system_reset.boot_option);
+      more_printf("  Boot Option          : %s\n", hardware->dmi.system.system_reset.boot_option);
     if (strlen(hardware->dmi.system.system_reset.boot_option_on_limit))
-      printf("  Boot Option On Limit : %s\n", hardware->dmi.system.system_reset.boot_option_on_limit);
+      more_printf("  Boot Option On Limit : %s\n", hardware->dmi.system.system_reset.boot_option_on_limit);
     if (strlen(hardware->dmi.system.system_reset.reset_count))
-      printf("  Reset Count          : %s\n", hardware->dmi.system.system_reset.reset_count);
+      more_printf("  Reset Count          : %s\n", hardware->dmi.system.system_reset.reset_count);
     if (strlen(hardware->dmi.system.system_reset.reset_limit))
-      printf("  Reset Limit          : %s\n", hardware->dmi.system.system_reset.reset_limit);
+      more_printf("  Reset Limit          : %s\n", hardware->dmi.system.system_reset.reset_limit);
     if (strlen(hardware->dmi.system.system_reset.timer_interval))
-      printf("  Timer Interval       : %s\n", hardware->dmi.system.system_reset.timer_interval);
+      more_printf("  Timer Interval       : %s\n", hardware->dmi.system.system_reset.timer_interval);
     if (strlen(hardware->dmi.system.system_reset.timeout))
-      printf("  Timeout              : %s\n", hardware->dmi.system.system_reset.timeout);
-  }
-
-  printf("System Boot Information\n");
-  printf(" Status       : %s\n", hardware->dmi.system.system_boot_status);
+      more_printf("  Timeout              : %s\n", hardware->dmi.system.system_reset.timeout);
+  }
+
+  more_printf("System Boot Information\n");
+  more_printf(" Status       : %s\n", hardware->dmi.system.system_boot_status);
 }
 
@@ -162 +164 @@
 {
   if (hardware->dmi.bios.filled == false) {
-    printf("bios information not found on your system, see "
+    more_printf("bios information not found on your system, see "
            "`show list' to see which module is available.\n");
     return;
@@ -214 +216 @@
     return;
   }
-  printf("Chassis\n");
-  printf(" Manufacturer       : %s\n",
+  reset_more_printf();
+  more_printf("Chassis\n");
+  more_printf(" Manufacturer       : %s\n",
         hardware->dmi.chassis.manufacturer);
-  printf(" Type               : %s\n", hardware->dmi.chassis.type);
-  printf(" Lock               : %s\n", hardware->dmi.chassis.lock);
-  printf(" Version            : %s\n",
+  more_printf(" Type               : %s\n", hardware->dmi.chassis.type);
+  more_printf(" Lock               : %s\n", hardware->dmi.chassis.lock);
+  more_printf(" Version            : %s\n",
         hardware->dmi.chassis.version);
-  printf(" Serial             : %s\n", hardware->dmi.chassis.serial);
-  printf(" Asset Tag          : %s\n",
+  more_printf(" Serial             : %s\n", hardware->dmi.chassis.serial);
+  more_printf(" Asset Tag          : %s\n",
         del_multi_spaces(hardware->dmi.chassis.asset_tag));
-  printf(" Boot up state      : %s\n",
+  more_printf(" Boot up state      : %s\n",
         hardware->dmi.chassis.boot_up_state);
-  printf(" Power supply state : %s\n",
+  more_printf(" Power supply state : %s\n",
         hardware->dmi.chassis.power_supply_state);
-  printf(" Thermal state      : %s\n",
+  more_printf(" Thermal state      : %s\n",
         hardware->dmi.chassis.thermal_state);
-  printf(" Security Status    : %s\n",
+  more_printf(" Security Status    : %s\n",
         hardware->dmi.chassis.security_status);
-  printf(" OEM Information    : %s\n",
+  more_printf(" OEM Information    : %s\n",
         hardware->dmi.chassis.oem_information);
-  printf(" Height             : %u\n", hardware->dmi.chassis.height);
-  printf(" NB Power Cords     : %u\n",
+  more_printf(" Height             : %u\n", hardware->dmi.chassis.height);
+  more_printf(" NB Power Cords     : %u\n",
         hardware->dmi.chassis.nb_power_cords);
 }
@@ -246 +249 @@
     return;
   }
-  printf("IPMI\n");
-  printf(" Interface Type     : %s\n",
+  reset_more_printf();
+  more_printf("IPMI\n");
+  more_printf(" Interface Type     : %s\n",
         hardware->dmi.ipmi.interface_type);
-  printf(" Specification Ver. : %u.%u\n",
+  more_printf(" Specification Ver. : %u.%u\n",
         hardware->dmi.ipmi.major_specification_version,
         hardware->dmi.ipmi.minor_specification_version);
-  printf(" I2C Slave Address  : 0x%02x\n",
+  more_printf(" I2C Slave Address  : 0x%02x\n",
         hardware->dmi.ipmi.I2C_slave_address);
-  printf(" Nv Storage Address : %u\n",
+  more_printf(" Nv Storage Address : %u\n",
         hardware->dmi.ipmi.nv_address);
   uint32_t high = hardware->dmi.ipmi.base_address >> 32;
   uint32_t low  = hardware->dmi.ipmi.base_address & 0xFFFF;
-  printf(" Base Address       : %08X%08X\n",
+  more_printf(" Base Address       : %08X%08X\n",
         high,(low & ~1));
-  printf(" IRQ                : %d\n",
+  more_printf(" IRQ                : %d\n",
         hardware->dmi.ipmi.irq);
 }
@@ -268 +272 @@
 {
   if (hardware->dmi.battery.filled == false) {
-    printf("battery information not found on your system, see "
+    more_printf("battery information not found on your system, see "
            "`show list' to see which module is available.\n");
     return;
   }
-  printf("Battery \n");
-  printf(" Vendor             : %s\n",
+  reset_more_printf();
+  more_printf("Battery \n");
+  more_printf(" Vendor             : %s\n",
         hardware->dmi.battery.manufacturer);
-  printf(" Manufacture Date   : %s\n",
+  more_printf(" Manufacture Date   : %s\n",
         hardware->dmi.battery.manufacture_date);
-  printf(" Serial             : %s\n", hardware->dmi.battery.serial);
-  printf(" Name               : %s\n", hardware->dmi.battery.name);
-  printf(" Chemistry          : %s\n",
+  more_printf(" Serial             : %s\n", hardware->dmi.battery.serial);
+  more_printf(" Name               : %s\n", hardware->dmi.battery.name);
+  more_printf(" Chemistry          : %s\n",
         hardware->dmi.battery.chemistry);
-  printf(" Design Capacity    : %s\n",
+  more_printf(" Design Capacity    : %s\n",
         hardware->dmi.battery.design_capacity);
-  printf(" Design Voltage     : %s\n",
+  more_printf(" Design Voltage     : %s\n",
         hardware->dmi.battery.design_voltage);
-  printf(" SBDS               : %s\n", hardware->dmi.battery.sbds);
-  printf(" SBDS Manuf. Date   : %s\n",
+  more_printf(" SBDS               : %s\n", hardware->dmi.battery.sbds);
+  more_printf(" SBDS Manuf. Date   : %s\n",
         hardware->dmi.battery.sbds_manufacture_date);
-  printf(" SBDS Chemistry     : %s\n",
+  more_printf(" SBDS Chemistry     : %s\n",
         hardware->dmi.battery.sbds_chemistry);
-  printf(" Maximum Error      : %s\n",
+  more_printf(" Maximum Error      : %s\n",
         hardware->dmi.battery.maximum_error);
-  printf(" OEM Info           : %s\n",
+  more_printf(" OEM Info           : %s\n",
         hardware->dmi.battery.oem_info);
 }
@@ -300 +305 @@
 {
   if (hardware->dmi.processor.filled == false) {
-    printf("processor information not found on your system, see "
+    more_printf("processor information not found on your system, see "
            "`show list' to see which module is available.\n");
     return;
@@ -364 +369 @@
 
   if (errno == ERANGE || bank < 0) {
-    printf("This bank number is incorrect\n");
+    more_printf("This bank number is incorrect\n");
     return;
   }
 
   if ((bank >= hardware->dmi.memory_count) || (bank < 0)) {
-    printf("Bank %d number doesn't exists\n", bank);
+    more_printf("Bank %d number doesn't exist\n", bank);
     return;
   }
   if (hardware->dmi.memory[bank].filled == false) {
-    printf("Bank %d doesn't contain any information\n", bank);
-    return;
-  }
-
-  printf("Memory Bank %d\n", bank);
-  printf(" Form Factor  : %s\n",
+    more_printf("Bank %d doesn't contain any information\n", bank);
+    return;
+  }
+
+  reset_more_printf();
+  more_printf("Memory Bank %d\n", bank);
+  more_printf(" Form Factor  : %s\n",
         hardware->dmi.memory[bank].form_factor);
-  printf(" Type         : %s\n", hardware->dmi.memory[bank].type);
-  printf(" Type Detail  : %s\n",
+  more_printf(" Type         : %s\n", hardware->dmi.memory[bank].type);
+  more_printf(" Type Detail  : %s\n",
         hardware->dmi.memory[bank].type_detail);
-  printf(" Speed        : %s\n", hardware->dmi.memory[bank].speed);
-  printf(" Size         : %s\n", hardware->dmi.memory[bank].size);
-  printf(" Device Set   : %s\n",
+  more_printf(" Speed        : %s\n", hardware->dmi.memory[bank].speed);
+  more_printf(" Size         : %s\n", hardware->dmi.memory[bank].size);
+  more_printf(" Device Set   : %s\n",
         hardware->dmi.memory[bank].device_set);
-  printf(" Device Loc.  : %s\n",
+  more_printf(" Device Loc.  : %s\n",
         hardware->dmi.memory[bank].device_locator);
-  printf(" Bank Locator : %s\n",
+  more_printf(" Bank Locator : %s\n",
         hardware->dmi.memory[bank].bank_locator);
-  printf(" Total Width  : %s\n",
+  more_printf(" Total Width  : %s\n",
         hardware->dmi.memory[bank].total_width);
-  printf(" Data Width   : %s\n",
+  more_printf(" Data Width   : %s\n",
         hardware->dmi.memory[bank].data_width);
-  printf(" Error        : %s\n", hardware->dmi.memory[bank].error);
-  printf(" Vendor       : %s\n",
+  more_printf(" Error        : %s\n", hardware->dmi.memory[bank].error);
+  more_printf(" Vendor       : %s\n",
         hardware->dmi.memory[bank].manufacturer);
-  printf(" Serial       : %s\n", hardware->dmi.memory[bank].serial);
-  printf(" Asset Tag    : %s\n",
+  more_printf(" Serial       : %s\n", hardware->dmi.memory[bank].serial);
+  more_printf(" Asset Tag    : %s\n",
         hardware->dmi.memory[bank].asset_tag);
-  printf(" Part Number  : %s\n",
+  more_printf(" Part Number  : %s\n",
         hardware->dmi.memory[bank].part_number);
 }
@@ -409 +415 @@
 {
         if (!hardware->dmi.cache_count) {
-                printf("cache information not found on your system, see "
+                more_printf("cache information not found on your system, see "
                        "`show list' to see which module is available.\n");
                 return;
@@ -417 +423 @@
 
         if (argc != 1 || cache > hardware->dmi.cache_count) {
-                printf("show cache [0-%d]\n", hardware->dmi.cache_count-1);
+                more_printf("show cache [0-%d]\n", hardware->dmi.cache_count-1);
                 return;
         }
@@ -465 +471 @@
 
         if (errno == ERANGE || module < 0) {
-                printf("This module number is incorrect\n");
+                more_printf("This module number is incorrect\n");
                 return;
         }
 
         if ((module >= hardware->dmi.memory_module_count) || (module < 0)) {
-                printf("Module number %d doesn't exist\n", module);
+                more_printf("Module number %d doesn't exist\n", module);
                 return;
         }
 
         if (hardware->dmi.memory_module[module].filled == false) {
-                printf("Module %d doesn't contain any information\n", module);
+                more_printf("Module %d doesn't contain any information\n", module);
                 return;
         }
 
-        printf("Memory Module %d\n", module);
-        printf(" Socket Designation : %s\n",
+  reset_more_printf();
+        more_printf("Memory Module %d\n", module);
+        more_printf(" Socket Designation : %s\n",
                 hardware->dmi.memory_module[module].socket_designation);
-        printf(" Bank Connections   : %s\n",
+        more_printf(" Bank Connections   : %s\n",
                 hardware->dmi.memory_module[module].bank_connections);
-        printf(" Current Speed      : %s\n",
+        more_printf(" Current Speed      : %s\n",
                 hardware->dmi.memory_module[module].speed);
-        printf(" Type               : %s\n",
+        more_printf(" Type               : %s\n",
                 hardware->dmi.memory_module[module].type);
-        printf(" Installed Size     : %s\n",
+        more_printf(" Installed Size     : %s\n",
                 hardware->dmi.memory_module[module].installed_size);
-        printf(" Enabled Size       : %s\n",
+        more_printf(" Enabled Size       : %s\n",
                 hardware->dmi.memory_module[module].enabled_size);
-        printf(" Error Status       : %s\n",
+        more_printf(" Error Status       : %s\n",
                 hardware->dmi.memory_module[module].error_status);
 }
@@ -503 +510 @@
 
   if (hardware->is_dmi_valid == false) {
-    printf("No valid DMI table found, exiting.\n");
-    return;
-  }
-  printf("DMI Table version %u.%u found\n",
+    more_printf("No valid DMI table found, exiting.\n");
+    return;
+  }
+  reset_more_printf();
+  more_printf("DMI Table version %u.%u found\n",
          hardware->dmi.dmitable.major_version,
          hardware->dmi.dmitable.minor_version);
@@ -537 +545 @@
   }
 
+  reset_more_printf();
   more_printf("Memory Banks\n");
   for (int i = 0; i < hardware->dmi.memory_count; i++) {

com32/hdt/hdt-cli-hdt.c

@@ -53 +53 @@
         int i = 0;
 
+    reset_more_printf();
         printf("Available modes:\n");
         while (list_modes[i]) {
@@ -71 +72 @@
         cli_mode_t new_mode;
 
+    reset_more_printf();
         if (argc <= 0) {
-                printf("Which mode?\n");
+                more_printf("Which mode?\n");
                 return;
         }
@@ -192 +194 @@
 {
         char version_string[256];
-        snprintf(version_string, sizeof version_string, "%s %s",
-                 PRODUCT_NAME, VERSION);
+        snprintf(version_string, sizeof version_string, "%s %s (%s)",
+                 PRODUCT_NAME, VERSION, CODENAME);
         start_menu_mode(hardware, version_string);
         return;
@@ -207 +209 @@
         detect_dmi(hardware);
         cpu_detect(hardware);
+    reset_more_printf();
         clear_screen();
         main_show_cpu(argc, argv, hardware);
@@ -237 +240 @@
                    struct s_hardware *hardware __unused)
 {
-        printf("HDT\n");
-        printf(" Product     : %s\n", PRODUCT_NAME);
-        printf(" Version     : %s\n", VERSION);
-        printf(" Author      : %s\n", AUTHOR);
-        printf(" Contact     : %s\n", CONTACT);
+    reset_more_printf();
+        more_printf("HDT\n");
+        more_printf(" Product        : %s\n", PRODUCT_NAME);
+        more_printf(" Version        : %s (%s)\n", VERSION, CODENAME);
+        more_printf(" Project Leader : %s\n", AUTHOR);
+        more_printf(" Contact        : %s\n", CONTACT);
+        more_printf(" Core Developer : %s\n", CORE_DEVELOPER);
         char *contributors[NB_CONTRIBUTORS] = CONTRIBUTORS;
         for (int c = 0; c < NB_CONTRIBUTORS; c++) {
-                printf(" Contributor : %s\n", contributors[c]);
-        }
+                more_printf(" Contributor    : %s\n", contributors[c]);
+        }
+}
+
+/**
+ * do_reboot - reboot the system
+ **/
+static void do_reboot(int argc __unused, char** argv __unused,
+                          struct s_hardware *hardware)
+{
+    /* Use specific syslinux call if needed */
+    if (issyslinux())
+        return runsyslinuxcmd(hardware->reboot_label);
+    else
+        return csprint(hardware->reboot_label, 0x07);
 }
 
@@ -265 +283 @@
                 .name = CLI_MENU,
                 .exec = goto_menu,
+        },
+        {
+                .name = CLI_REBOOT,
+                .exec = do_reboot,
         },
         {

com32/hdt/hdt-cli-kernel.c

@@ -47 +47 @@
 
         detect_pci(hardware);
+    reset_more_printf();
         more_printf("Kernel modules\n");
 
@@ -106 +107 @@
         if (hardware->pci_ids_return_code == -ENOPCIIDS) {
                 nopciids = true;
-                printf(" Missing pci.ids, we can't compute the list\n");
+                more_printf(" Missing pci.ids, we can't compute the list\n");
                 return;
         }
@@ -112 +113 @@
         if (hardware->modules_pcimap_return_code == -ENOMODULESPCIMAP) {
                 nomodulespcimap = true;
-                printf
+                more_printf
                     (" Missing modules.pcimap, we can't compute the list\n");
                 return;
         }
 
+    reset_more_printf();
         for_each_pci_func(pci_device, hardware->pci_domain) {
                 memset(kernel_modules, 0, sizeof kernel_modules);
@@ -141 +143 @@
         for (int i = 0; i < MAX_PCI_CLASSES; i++) {
                 if (strlen(category_name[i]) > 1) {
-                        printf("%s : %s\n", category_name[i], modules[i]);
+                        more_printf("%s : %s\n", category_name[i], modules[i]);
                 }
         }

com32/hdt/hdt-cli-memory.c

@@ -42 +42 @@
 
         detect_memory_e820(map, E820MAX, &count);
-        printf("BIOS-provided physical RAM e820 map:\n");
         reset_more_printf();
+        more_printf("BIOS-provided physical RAM e820 map:\n");
         for (int i = 0; i < count; i++) {
                 get_type(map[i].type, type, 14);

com32/hdt/hdt-cli-pci.c

@@ -38 +38 @@
 {
         cli_detect_pci(hardware);
-
+    reset_more_printf();
         more_printf("PCI\n");
         more_printf(" NB Devices   : %d\n", hardware->nb_pci_devices);
@@ -57 +57 @@
         int bus = 0, slot = 0, func = 0;
 
+    reset_more_printf();
         /* Sanitize arguments */
         if (argc <= 0) {
-                printf("show device <number>\n");
+                more_printf("show device <number>\n");
                 return;
         } else
@@ -65 +66 @@
 
         if (errno == ERANGE) {
-                printf("This PCI device number is incorrect\n");
+                more_printf("This PCI device number is incorrect\n");
                 return;
         }
         if ((pcidev > hardware->nb_pci_devices) || (pcidev <= 0)) {
-                printf("PCI device %d doesn't exists\n", pcidev);
+                more_printf("PCI device %d doesn't exist\n", pcidev);
                 return;
         }
@@ -93 +94 @@
 
         if (pci_device == NULL) {
-                printf("We were enabled to find PCI device %d\n", pcidev);
+                more_printf("We were enabled to find PCI device %d\n", pcidev);
                 return;
         }
@@ -110 +111 @@
                 strlcpy(kernel_modules, "unknown", 7);
 
-        printf("PCI Device %d\n", pcidev);
+        more_printf("PCI Device %d\n", pcidev);
 
         if (nopciids == false) {
-                printf("Vendor Name   : %s\n",
+                more_printf("Vendor Name   : %s\n",
                             pci_device->dev_info->vendor_name);
-                printf("Product Name  : %s\n",
+                more_printf("Product Name  : %s\n",
                             pci_device->dev_info->product_name);
-                printf("Class Name    : %s\n",
+                more_printf("Class Name    : %s\n",
                             pci_device->dev_info->class_name);
         }
 
         if (nomodulesfiles == false) {
-                printf("Kernel module : %s\n", kernel_modules);
-        }
-
-        printf("Vendor ID     : %04x\n", pci_device->vendor);
-        printf("Product ID    : %04x\n", pci_device->product);
-        printf("SubVendor ID  : %04x\n", pci_device->sub_vendor);
-        printf("SubProduct ID : %04x\n", pci_device->sub_product);
-        printf("Class ID      : %02x.%02x.%02x\n", pci_device->class[2],
+                more_printf("Kernel module : %s\n", kernel_modules);
+        }
+
+        more_printf("Vendor ID     : %04x\n", pci_device->vendor);
+        more_printf("Product ID    : %04x\n", pci_device->product);
+        more_printf("SubVendor ID  : %04x\n", pci_device->sub_vendor);
+        more_printf("SubProduct ID : %04x\n", pci_device->sub_product);
+        more_printf("Class ID      : %02x.%02x.%02x\n", pci_device->class[2],
                     pci_device->class[1], pci_device->class[0]);
-        printf("Revision      : %02x\n", pci_device->revision);
+        more_printf("Revision      : %02x\n", pci_device->revision);
         if ((pci_device->dev_info->irq > 0)
             && (pci_device->dev_info->irq < 255))
                 more_printf("IRQ           : %0d\n", pci_device->dev_info->irq);
-        printf("Latency       : %0d\n", pci_device->dev_info->latency);
-        printf("PCI Bus       : %02d\n", bus);
-        printf("PCI Slot      : %02d\n", slot);
-        printf("PCI Func      : %02d\n", func);
+        more_printf("Latency       : %0d\n", pci_device->dev_info->latency);
+        more_printf("PCI Bus       : %02d\n", bus);
+        more_printf("PCI Slot      : %02d\n", slot);
+        more_printf("PCI Func      : %02d\n", func);
 
         if (hardware->is_pxe_valid == true) {
                 if ((hardware->pxe.pci_device != NULL)
                     && (hardware->pxe.pci_device == pci_device)) {
-                        printf("Mac Address   : %s\n", hardware->pxe.mac_addr);
-                        printf("PXE           : Current boot device\n");
+                        more_printf("Mac Address   : %s\n", hardware->pxe.mac_addr);
+                        more_printf("PXE           : Current boot device\n");
                 }
         }
@@ -306 +307 @@
                 detect_pci(hardware);
                 if (hardware->pci_ids_return_code == -ENOPCIIDS) {
-                        printf
+                        more_printf
                             ("The pci.ids file is missing, device names can't be computed.\n");
-                        printf("Please put one in same dir as hdt\n");
+                        more_printf("Please put one in same dir as hdt\n");
                         error = true;
                 }
                 if ((hardware->modules_pcimap_return_code == -ENOMODULESPCIMAP) &&
                         (hardware->modules_alias_return_code == -ENOMODULESALIAS)) {
-                        printf
+                        more_printf
                             ("The modules.pcimap or modules.alias files are missing, device names can't be computed.\n");
-                        printf("Please put one of them in same dir as hdt\n");
+                        more_printf("Please put one of them in same dir as hdt\n");
                         error = true;
                 }
                 if (error == true) {
                         char tempbuf[10];
-                        printf("Press enter to continue\n");
+                        more_printf("Press enter to continue\n");
                         fgets(tempbuf, sizeof(tempbuf), stdin);
                 }

com32/hdt/hdt-cli-pxe.c

@@ -42 +42 @@
         char buffer[81];
         memset(buffer, 0, sizeof(81));
+    reset_more_printf();
         if (hardware->sv->filesystem != SYSLINUX_FS_PXELINUX) {
-                printf("You are not currently using PXELINUX\n");
+                more_printf("You are not currently using PXELINUX\n");
                 return;
         }
 
         detect_pxe(hardware);
-        printf("PXE\n");
+        more_printf("PXE\n");
         if (hardware->is_pxe_valid == false) {
-                printf(" No valid PXE ROM found\n");
+                more_printf(" No valid PXE ROM found\n");
                 return;
         }
 
         struct s_pxe *p = &hardware->pxe;
-        printf(" PCI device no: %d \n", p->pci_device_pos);
+        more_printf(" PCI device no: %d \n", p->pci_device_pos);
 
         if (hardware->pci_ids_return_code == -ENOPCIIDS ||
@@ -66 +67 @@
                          " PCI Bus pos. : %02x:%02x.%02x\n", p->pci_bus,
                          p->pci_dev, p->pci_func);
-                printf(buffer);
+                more_printf(buffer);
         } else {
                 snprintf(buffer, sizeof(buffer), " Manufacturer : %s \n",
                          p->pci_device->dev_info->vendor_name);
-                printf(buffer);
+                more_printf(buffer);
                 snprintf(buffer, sizeof(buffer), " Product      : %s \n",
                          p->pci_device->dev_info->product_name);
-                printf(buffer);
+                more_printf(buffer);
         }
-        printf(" Addresses    : %d.%d.%d.%d @ %s\n", p->ip_addr[0],
+        more_printf(" Addresses    : %d.%d.%d.%d @ %s\n", p->ip_addr[0],
                     p->ip_addr[1], p->ip_addr[2], p->ip_addr[3], p->mac_addr);
 }

com32/hdt/hdt-cli-syslinux.c

@@ -40 +40 @@
                         struct s_hardware *hardware)
 {
-  printf("SYSLINUX\n");
-  printf(" Bootloader : %s\n", hardware->syslinux_fs);
-  printf(" Version    : %s\n", hardware->sv->version_string + 2);
-  printf(" Version    : %u\n", hardware->sv->version);
-  printf(" Max API    : %u\n", hardware->sv->max_api);
-  printf(" Copyright  : %s\n", hardware->sv->copyright_string + 1);
+  reset_more_printf();
+  more_printf("SYSLINUX\n");
+  more_printf(" Bootloader : %s\n", hardware->syslinux_fs);
+  more_printf(" Version    : %s\n", hardware->sv->version_string + 2);
+  more_printf(" Version    : %u\n", hardware->sv->version);
+  more_printf(" Max API    : %u\n", hardware->sv->max_api);
+  more_printf(" Copyright  : %s\n", hardware->sv->copyright_string + 1);
 }
 

com32/hdt/hdt-cli-vesa.c

@@ -37 +37 @@
                     struct s_hardware *hardware)
 {
+    reset_more_printf();
         detect_vesa(hardware);
         if (hardware->is_vesa_valid == false) {
-                printf("No VESA BIOS detected\n");
+                more_printf("No VESA BIOS detected\n");
                 return;
         }
-        printf("VESA\n");
-        printf(" Vesa version : %d.%d\n", hardware->vesa.major_version,
+        more_printf("VESA\n");
+        more_printf(" Vesa version : %d.%d\n", hardware->vesa.major_version,
                     hardware->vesa.minor_version);
-        printf(" Vendor       : %s\n", hardware->vesa.vendor);
-        printf(" Product      : %s\n", hardware->vesa.product);
-        printf(" Product rev. : %s\n", hardware->vesa.product_revision);
-        printf(" Software rev.: %d\n", hardware->vesa.software_rev);
-        printf(" Memory (KB)  : %d\n", hardware->vesa.total_memory * 64);
-        printf(" Modes        : %d\n", hardware->vesa.vmi_count);
+        more_printf(" Vendor       : %s\n", hardware->vesa.vendor);
+        more_printf(" Product      : %s\n", hardware->vesa.product);
+        more_printf(" Product rev. : %s\n", hardware->vesa.product_revision);
+        more_printf(" Software rev.: %d\n", hardware->vesa.software_rev);
+        more_printf(" Memory (KB)  : %d\n", hardware->vesa.total_memory * 64);
+        more_printf(" Modes        : %d\n", hardware->vesa.vmi_count);
 }
 
@@ -57 +58 @@
 {
         detect_vesa(hardware);
+        reset_more_printf();
         if (hardware->is_vesa_valid == false) {
-                printf("No VESA BIOS detected\n");
+                more_printf("No VESA BIOS detected\n");
                 return;
         }
-        reset_more_printf();
-        printf(" ResH. x ResV x Bits : vga= : Vesa Mode\n");
-        printf("----------------------------------------\n");
+        more_printf(" ResH. x ResV x Bits : vga= : Vesa Mode\n");
+        more_printf("----------------------------------------\n");
 
         for (int i = 0; i < hardware->vesa.vmi_count; i++) {
@@ -72 +73 @@
                  */
                 if ((mi->h_res == 0) || (mi->v_res == 0)) continue;
-                printf("%5u %5u    %3u     %3d     0x%04x\n",
+                more_printf("%5u %5u    %3u     %3d     0x%04x\n",
                             mi->h_res, mi->v_res, mi->bpp,
                             hardware->vesa.vmi[i].mode + 0x200,

com32/hdt/hdt-cli-vpd.c

@@ -40 +40 @@
 
         if (!hardware->is_vpd_valid) {
-                printf("No VPD structure detected.\n");
+                more_printf("No VPD structure detected.\n");
                 return;
         }
 
-        printf("VPD present at address : 0x%s\n", hardware->vpd.base_address);
+        more_printf("VPD present at address : 0x%s\n", hardware->vpd.base_address);
         if (strlen(hardware->vpd.bios_build_id) > 0)
                 more_printf("Bios Build ID                 : %s\n", hardware->vpd.bios_build_id);

com32/hdt/hdt-cli.h

@@ -49 +49 @@
 #define CLI_EXIT "exit"
 #define CLI_HELP "help"
+#define CLI_REBOOT "reboot"
 #define CLI_SHOW "show"
 #define CLI_SET "set"

com32/hdt/hdt-common.c

@@ -73 +73 @@
         sizeof(hardware->memtest_label));
       convert_isolinux_filename(hardware->memtest_label,hardware);
+    } else if (!strncmp(argv[i], "reboot=", 7)) {
+      strncpy(hardware->reboot_label, argv[i] + 7,
+        sizeof(hardware->reboot_label));
+      convert_isolinux_filename(hardware->reboot_label,hardware);
     }
   }
@@ -134 +138 @@
          sizeof hardware->modules_alias_path);
   memset(hardware->memtest_label, 0, sizeof hardware->memtest_label);
+  memset(hardware->reboot_label, 0, sizeof hardware->reboot_label);
   strcat(hardware->pciids_path, "pci.ids");
   strcat(hardware->modules_pcimap_path, "modules.pcimap");
   strcat(hardware->modules_alias_path, "modules.alias");
   strcat(hardware->memtest_label, "memtest");
+  strcat(hardware->reboot_label, "reboot.c32");
 }
 

com32/hdt/hdt-common.h

@@ -61 +61 @@
 
 #define pause_printf() do {\
-        printf("--More--");\
-        get_key(stdin, 0);\
-        printf("\n");\
+       printf("--More--");\
+       get_key(stdin, 0);\
+       printf("\033[2K\033[1G\033[1F\n");\
 } while (0);
 
+/* The brokeness of that macro is that
+ * it assumes that __VA_ARGS__ contains
+ * one \n (and only one)
+ */
 #define more_printf(...) do {\
  if (display_line_nb == 20) {\
-   printf("\nPress any key to continue");\
+   printf("\n--More--");\
    display_line_nb=0;\
    get_key(stdin, 0);\
+   printf("\033[2K\033[1G\033[1F");\
  }\
- printf ( __VA_ARGS__);\
- display_line_nb++; \
+ printf(__VA_ARGS__);\
+ display_line_nb++;\
 } while (0);
 
@@ -158 +163 @@
   char pciids_path[255];
   char memtest_label[255];
+  char reboot_label[255];
 };
 

com32/hdt/hdt-menu-about.c

@@ -40 +40 @@
   set_menu_pos(SUBMENU_Y, SUBMENU_X);
 
-  snprintf(buffer, sizeof buffer, "Product     : %s", PRODUCT_NAME);
+  snprintf(buffer, sizeof buffer, "Product        : %s", PRODUCT_NAME);
   snprintf(statbuffer, sizeof statbuffer, "Product : %s", PRODUCT_NAME);
   add_item(buffer, statbuffer, OPT_INACTIVE, NULL, 0);
   menu->items_count++;
 
-  snprintf(buffer, sizeof buffer, "Version     : %s", VERSION);
-  snprintf(statbuffer, sizeof statbuffer, "Version : %s", VERSION);
+  snprintf(buffer, sizeof buffer, "Version        : %s (%s)", VERSION, CODENAME);
+  snprintf(statbuffer, sizeof statbuffer, "Version : %s (%s)", VERSION,CODENAME);
   add_item(buffer, statbuffer, OPT_INACTIVE, NULL, 0);
   menu->items_count++;
 
-  snprintf(buffer, sizeof buffer, "Author      : %s", AUTHOR);
-  snprintf(statbuffer, sizeof statbuffer, "Author  : %s", AUTHOR);
+  snprintf(buffer, sizeof buffer, "Project Leader : %s", AUTHOR);
+  snprintf(statbuffer, sizeof statbuffer, "Project Leader  : %s", AUTHOR);
   add_item(buffer, statbuffer, OPT_INACTIVE, NULL, 0);
   menu->items_count++;
 
-  snprintf(buffer, sizeof buffer, "Contact     : %s", CONTACT);
+  snprintf(buffer, sizeof buffer, "Contact        : %s", CONTACT);
   snprintf(statbuffer, sizeof statbuffer, "Contact : %s", CONTACT);
+  add_item(buffer, statbuffer, OPT_INACTIVE, NULL, 0);
+  menu->items_count++;
+
+  snprintf(buffer, sizeof buffer, "Core Developer : %s", CORE_DEVELOPER);
+  snprintf(statbuffer, sizeof statbuffer, "Core Developer  : %s", CORE_DEVELOPER);
   add_item(buffer, statbuffer, OPT_INACTIVE, NULL, 0);
   menu->items_count++;
@@ -62 +67 @@
   char *contributors[NB_CONTRIBUTORS] = CONTRIBUTORS;
   for (int c=0; c<NB_CONTRIBUTORS; c++) {
-   snprintf(buffer, sizeof buffer, "Contributor : %s", contributors[c]);
+   snprintf(buffer, sizeof buffer, "Contributor    : %s", contributors[c]);
    snprintf(statbuffer, sizeof statbuffer, "Contributor : %s", contributors[c]);
    add_item(buffer, statbuffer, OPT_INACTIVE, NULL, 0);

com32/hdt/hdt-menu.c

@@ -121 +121 @@
   init_menusystem(version);
   set_window_size(0, 0, 25, 80);
+
+  /* Do not use inactive attributes - they make little sense for HDT */
+  set_normal_attr(-1, -1, 0x17, 0x1F);
 
   /* Register the menusystem handler */
@@ -290 +293 @@
   add_item("<A>bout", "About Menu", OPT_SUBMENU, NULL,
      hdt_menu->about_menu.menu);
+  add_item("<R>eboot", "Reboot", OPT_RUN, hardware->reboot_label, 0);
   add_item("E<x>it","Exit", OPT_EXITMENU,NULL,0);
   hdt_menu->main_menu.items_count++;

com32/hdt/hdt.c

@@ -49 +49 @@
   struct s_hardware hardware;
 
-  snprintf(version_string, sizeof version_string, "%s %s",
-           PRODUCT_NAME,VERSION);
+  snprintf(version_string, sizeof version_string, "%s %s (%s)",
+           PRODUCT_NAME,VERSION, CODENAME);
 
   /* Opening the Syslinux console */
@@ -64 +64 @@
   detect_parameters(argc, argv, &hardware);
 
+  /* Clear the screen and reset position of the cursor */
+  clear_screen();
+  printf("\033[1;1H");
 
-  clear_screen();
   printf("%s\n", version_string);
 

com32/hdt/hdt.h

@@ -32 +32 @@
 #define PRODUCT_NAME "Hardware Detection Tool"
 #define AUTHOR "Erwan Velu"
+#define CORE_DEVELOPER "Pierre-Alexandre Meyer"
 #define CONTACT "hdt@zytor.com"
-#define VERSION "0.3.5-pre1"
-#define NB_CONTRIBUTORS 3
-#define CONTRIBUTORS {"Pierre-Alexandre Meyer", "Sebastien Gonzalve", "Gert Hulselmans"}
+#define VERSION "0.3.5-pre2"
+#define CODENAME "mojito"
+#define NB_CONTRIBUTORS 2 
+#define CONTRIBUTORS {"Sebastien Gonzalve", "Gert Hulselmans"}
 
 #define ATTR_PACKED __attribute__((packed))