+
+ uart_putstr("\r\nsha256(0x80, 8)= ");
+ sha256((void*)block, (void*)"\x80", 8);
+ uart_hexdump(block, SHA256_HASH_BITS/8);
+
+ uart_putstr("\r\nsha256(0x02, 8)= ");
+ sha256((void*)block, (void*)"\x02", 8);
+ uart_hexdump(block, SHA256_HASH_BITS/8);
+
+