This is the answer: char somedata [] __attribute__((aligned (4))) = { ....... }; Anyone want the raw binaries, or wait for debs (which may be a little while!)