Added satgen initstate support
authorClifford Wolf <clifford@clifford.at>
Fri, 22 Jul 2016 08:28:45 +0000 (10:28 +0200)
committerClifford Wolf <clifford@clifford.at>
Fri, 22 Jul 2016 08:28:45 +0000 (10:28 +0200)
commit89deb412c68505a0c66e92a93a334e08370f0e6b
tree53b18c79953c66633f6b4d7d92238deef44096f4
parent7fef5ff10436a51a91f57157f687345795f60e40
Added satgen initstate support
kernel/satgen.h