patmos processor with time predictable memory