Index: boot/arch/ia64/src/main.c
===================================================================
--- boot/arch/ia64/src/main.c	(revision 666d6dcbca1635a8588aa395e8b8ce2b2cc41911)
+++ boot/arch/ia64/src/main.c	(revision 26fb118ae8c0e8bb11d3a2c886dcda94d6a7435b)
@@ -35,4 +35,5 @@
 #include <arch/_components.h>
 #include <genarch/efi.h>
+#include <arch/sal.h>
 #include <halt.h>
 #include <printf.h>
@@ -119,10 +120,18 @@
 static void read_sal_configuration(void)
 {
-	if (!bootpar) {
-		/* Configure default values for simulators. */
+	if (bootpar && bootpar->efi_system_table) {
+		/* TODO: read the real values from SAL */
 		bootinfo.freq_scale = DEFAULT_FREQ_SCALE;
 		bootinfo.sys_freq = DEFAULT_SYS_FREQ;
+		
+		efi_guid_t sal_guid = SAL_SYSTEM_TABLE_GUID;
+		sal_system_table_header_t *sal_st;
+		
+		sal_st = efi_vendor_table_find(
+		    (efi_system_table_t *) bootpar->efi_system_table, sal_guid);
+
+		sal_system_table_parse(sal_st);
 	} else {
-		/* TODO: read the real values from SAL */
+		/* Configure default values for simulators. */
 		bootinfo.freq_scale = DEFAULT_FREQ_SCALE;
 		bootinfo.sys_freq = DEFAULT_SYS_FREQ;