This patch corresponds to the patch "okl4: don't rely on BASE_DIR for vpath", addressing the L4/Fiasco and L4ka::Pistachio kernels. |
||
---|---|---|
.. | ||
x86_32 |
This patch corresponds to the patch "okl4: don't rely on BASE_DIR for vpath", addressing the L4/Fiasco and L4ka::Pistachio kernels. |
||
---|---|---|
.. | ||
x86_32 |