>>>>> "Piotr" == Piotr  <[email protected]> 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.

_______________________________________________
Devel mailing list
[email protected]
https://sel4.systems/lists/listinfo/devel

Reply via email to