Hello. In the hardware manual and on the net it said that the ethernut has 32kByte SRAM and 480kByte banked SRAM . Must it not be 4kByte SRAM and 64 kbyte banked SRAM . Grayson Penzo