src/lib/libkse/arch/amd64/amd64
