"Piotr" == Piotr piokle123@gmail.com 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.