ppc64: Don't set Kp bit on SLB
[openbios.git] / arch / ia64 / build.xml
blob8f3ea0d860831843107c9fd8125f70bcad65249d
1 <build condition="IPF">
2  <dictionary name="openbios-ia64" init="openbios" target="forth">
3   <object source="init.fs"/>
4  </dictionary>
5 </build>