[openfirmware] r1406 - cpu/x86/pc/olpc/via

[svn at openfirmware.info]

Author: wmb
Date: 2009-10-09 01:06:25 +0200 (Fri, 09 Oct 2009)
New Revision: 1406

Added:
   cpu/x86/pc/olpc/via/fsverify.fth
Log:
Added via/fsverify.fth



Added: cpu/x86/pc/olpc/via/fsverify.fth
===================================================================
--- cpu/x86/pc/olpc/via/fsverify.fth	                        (rev 0)
+++ cpu/x86/pc/olpc/via/fsverify.fth	2009-10-08 23:06:25 UTC (rev 1406)
@@ -0,0 +1,91 @@
+\ Boot script for post-audit testing
+[ifndef] fs-verify
+vocabulary fs-verify-commands
+also fs-verify-commands definitions
+
+: zblocks:  ( "eblock-size" "#eblocks" ... -- )
+   get-hex# to /nand-block
+   get-hex# to #image-eblocks
+   open-nand
+   \   #image-eblocks  show-init
+   /nand-block /nand-page / to nand-pages/block
+;
+
+: zblocks-end:  ( -- )
+   \ XXX could check that everything else is erased ...
+;
+
+\ This could be a no-op ...
+: data:  ( "filename" -- )
+   safe-parse-word fn-buf place
+   " ${DN}${PN}\${CN}${FN}" expand$  image-name-buf place
+;
+
+: erase-all  ( -- )
+   \ XXX probably should set a flag saying that unspecified blocks are expected to be ff
+;
+
+\ We simultaneously DMA one data buffer onto NAND while unpacking the
+\ next block of data into another. The buffers exchange roles after
+\ each block.
+load-base value data-buffer
+
+: verify-hash  ( hashname$ hash$ -- okay? )
+   2swap                              ( hash$ hashname$ )
+   data-buffer /nand-block 2swap      ( hash$ data$ hashname$ )
+   2dup " sha256" $=  if              ( hash$ hashname$ )
+      2drop sha-256                   ( hash$ calc-hash$ )
+   else                               ( hash$ hashname$ )
+      crypto-hash                     ( hash$ calc-hash$ )
+   then                               ( hash$ calc-hash$ )
+   $=                                 ( okay? )
+;
+
+: zblock: ( "eblock#" "comprlen" "hashname" "hash-of-128KiB" -- )
+   get-hex#                              ( eblock# )
+
+   data-buffer over nand-pages/block *  nand-pages/block  " read-blocks" $call-nand  ( eblock# #read )
+   nand-pages/block <>                   ( eblock# err? )
+   " Read failure" ?nand-abort           ( eblock# )
+
+   get-hex# drop                         ( eblock# ) \ comprlen not needed for verify
+   safe-parse-word                       ( eblock# hashname$ )
+   safe-parse-word hex-decode            ( eblock# hashname$ [ hash$ ] err? )
+   " Malformed hash string" ?nand-abort  ( eblock# hashname$ hash$ )
+                                        
+   verify-hash                           ( eblock# okay? )
+\   if  show-written  else  show-bad  then   ( )
+   swap .d  if  (cr  else  cr  then
+;
+
+previous definitions
+
+: fs-verify  ( "devspec" -- )
+   load-crypto  abort" Can't load hash routines"
+
+   false to secure-fsupdate?
+   safe-parse-word r/o open-file       ( fd )
+   abort" Can't open file"             ( fd )
+
+   file @                              ( fd fd' )
+   over file !  linefeed line-delimiter c!  ( fd fd' )
+   file !                              ( fd )
+
+   t(
+   also fs-verify-commands   
+   ['] include-file catch  dup  if
+      nip .error
+   then
+   previous
+   show-done
+   close-nand-ihs
+   )t-hms
+;
+[then]
+
+\ dev screen  d# 5000 to burnin-time  dend
+\ dev /audio  patch 0 -3 mic-test  dend
+
+\ visible
+\ test-all
+\ fs-verify u:\os30.zsp