Re: [seL4] sel4 example compilation - cygwin

...

...

...

...

"Piotr" == Piotr writes:

Piotr> tutorial under Cygwin. http://sel4.systems/Download/ Piotr> What I get is: Piotr> Assembler messages: Piotr> /home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:15: Piotr> Warning: .type pseudo-op used outside of .def/.endef ignored. What assembler are you using? You'll see this with gnu binutils if you try to build COFF rather than ELF --- seL4 needs to build an ELF image, and relies on a binutils targeted for ELF. I've never used cygwin, but perhaps it is targeting Windows images by default -- I suggest you try a different toolchain, one that is intended to build bare-machine ELF or Linux images. You used to be able to get one from codesourcery, but they seem to have stopped now. -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.