#include <asm/udbg.h>
 #include <asm/prom.h>
 #include <asm/lv1call.h>
+#include <asm/ps3.h>
 
 #include "platform.h"
 
 #define DBG(fmt...) do{if(0)printk(fmt);}while(0)
 #endif
 
+int ps3_get_firmware_version(union ps3_firmware_version *v)
+{
+       int result = lv1_get_version_info(&v->raw);
+
+       if (result) {
+               v->raw = 0;
+               return -1;
+       }
+
+       return result;
+}
+EXPORT_SYMBOL_GPL(ps3_get_firmware_version);
+
 static void ps3_power_save(void)
 {
        /*
 
 static void __init ps3_setup_arch(void)
 {
+       union ps3_firmware_version v;
+
        DBG(" -> %s:%d\n", __func__, __LINE__);
 
+       ps3_get_firmware_version(&v);
+       printk(KERN_INFO "PS3 firmware version %u.%u.%u\n", v.major, v.minor,
+               v.rev);
+
        ps3_spu_set_platform();
        ps3_map_htab();
 
 
 #include <linux/device.h>
 #include <scsi/scsi.h>
 
+union ps3_firmware_version {
+       u64 raw;
+       struct {
+               u16 pad;
+               u16 major;
+               u16 minor;
+               u16 rev;
+       };
+};
+
+int ps3_get_firmware_version(union ps3_firmware_version *v);
+
 /**
  * struct ps3_device_id - HV bus device identifier from the system repository
  * @bus_id: HV bus id, {1..} (zero invalid)