tree 527d4194763f0391c096e493a0cbbb97043a1f89
parent e968901fe61580743eb027cc123782e82d43a228
author Brendan Jackman <brendan.jackman@arm.com> 1487613077 +0000
committer Brendan Jackman <brendan.jackman@arm.com> 1487614312 +0000

target: Make KernelVersion fields numerical