Changeset 2793

Timestamp:

Dec 31, 2011 9:53:40 PM (17 months ago)

Author:

wmb

Message:

OLPC trac 11562 - security - RTC anti-rollback - Fixed stack bug that caused boot failures in the face of an invalid rtcreset.sig file.

File:

• cpu/x86/pc/olpc/security.fth (modified) (6 diffs)

cpu/x86/pc/olpc/security.fth

@@ -1076 +1076 @@
 0 0 2value rtcsig$
 : rtc-format-error  ( -- done? )
-   ." RTC Reset format error" ?lease-error-cr  true
+   " RTC Reset format error" ?lease-error-cr  true
 ;
 : check-rtc-key  ( data$ -- done? )  \ rtc01: SN currentrtc nonce newrtc sig0N: ...
@@ -1083 +1083 @@
 
    bl left-parse-string  " rtc01:" $=  0=  if  ( rem$ )
-      ." Unknown format" ?lease-error-cr       ( rem$ )
+      " Unknown format" ?lease-error-cr        ( rem$ )
       2drop true exit                          ( -- true )
    then                                        ( rem$ )
@@ -1089 +1089 @@
    bl left-parse-string                        ( rem$ serial$ )
    my-sn$ $=  0=  if                           ( rem$ )
-\     ." Wrong serial number" ?lease-error-cr  ( rem$ )
+\     " Wrong serial number" ?lease-error-cr   ( rem$ )
       2drop false exit                         ( -- false )
    then                                        ( rem$ )
@@ -1107 +1107 @@
       newrtc$ nonce$ currentrtc$  fix-rtc-timestamps  ( )
    else
-      ." Bad signature " ?lease-error-cr              ( )
+      " Bad signature " ?lease-error-cr               ( )
    then                                               ( )
    true                                               ( done? )
@@ -1117 +1117 @@
    null$ cn-buf place
    " rtcreset.sig" open-security?  if  exit  then   >r  ( r: ih )
-      "   RTCRESET found - " ?lease-debug
-      load-started
-      leasekey$ to pubkey$
+   "   RTCRESET found - " ?lease-debug
+   load-started
+   leasekey$ to pubkey$
    begin
       sec-line-buf /sec-line-max r@ read-line  if  ( actual -eof? )
@@ -1131 +1131 @@
    drop                                            ( )
    "   No matching records" ?lease-error-cr        ( )
-   r> close-file drop  false                       ( false )
+   r> close-file drop                              ( )
 ;