l4/pkg/sigma0/server/src/ARCH-amd64
