tool: add bootinfo tag

This adds the 'bootinfo' tag to map specified type
of bootinfo into PD's vspace, and patch the location
to the pre-declared variable. This is useful for the
cases where the userland needs to access some of
boot information, e.g., RSDP in ACPI driver.

The example shows how TSC Frequency is mapped and
read by a PD.

Signed-off-by: Terry Bai <tianyi.bai@unsw.edu.au>

Author: terryzbai

Cargo.lock

@@ -12,12 +12,12 @@ members = [
 ]
 
 [workspace.dependencies.sel4-capdl-initializer]
-git = "https://github.com/seL4/rust-sel4"
-rev = "c30d0e44fb32c15239049ce402ef2a8c72499aa3"
+git = "https://github.com/au-ts/rust-sel4"
+rev = "535c47d3044f1de7dd54b80d485b51f9e105c8be"
 
 [workspace.dependencies.sel4-capdl-initializer-types]
-git = "https://github.com/seL4/rust-sel4"
-rev = "c30d0e44fb32c15239049ce402ef2a8c72499aa3"
+git = "https://github.com/au-ts/rust-sel4"
+rev = "535c47d3044f1de7dd54b80d485b51f9e105c8be"
 
 [profile.release.package.microkit-tool]
 strip = true

Cargo.toml

@@ -6,8 +6,14 @@
 #include <stdint.h>
 #include <microkit.h>
 
+typedef struct {
+    seL4_BootInfoHeader header;
+    uint32_t value;
+} bootinfo_tsc_freq_t;
+
 uint64_t com1_ioport_id;
 uint64_t com1_ioport_addr;
+bootinfo_tsc_freq_t *bootinfo_tsc_freq;
 
 static inline void serial_putc(char ch)
 {
@@ -31,6 +37,10 @@ void init(void)
     microkit_dbg_puts(microkit_name);
     microkit_dbg_puts("\n");
 
+    microkit_dbg_puts("TSC Frequency: ");
+    microkit_dbg_put32(bootinfo_tsc_freq->value);
+    microkit_dbg_puts("MHz\n");
+
     microkit_dbg_puts("Now writing to serial I/O port: ");
     serial_puts("hello!\n");
 }

example/x86_64_ioport/x86_64_ioport.c

@@ -7,6 +7,7 @@
 <system>
     <protection_domain name="x86_64_ioport" priority="100" >
         <program_image path="x86_64_ioport.elf" />
+        <bootinfo type="tsc_freq" />
         <ioport id="0" addr="0x3f8" size="8" setvar_id="com1_ioport_id" setvar_addr="com1_ioport_addr"/>
     </protection_domain>
 </system>