I'm not one of the aforementioned engineers, but I was able to get seL4 to build successfully on OS X with a GCC targeted for i686-elf. Relatively smooth sailing from there.

In the process I put together a guide of sorts for building on OS X, which I can send along if you're interested. It should be reasonably adaptable to Cygwin.

On Mon, May 11, 2015 at 7:18 PM, Kevin Elphinstone <Kevin.Elphinstone@nicta.com.au> wrote:
We do all our development on Linux, even on Windows or Macs, we use Linux in a virtual machine. So you are trail blazing by compiling on cygwin.

I would not invest the time to get it to work, but if you particularly enjoy self inflicted pain, I'd start by build a cross compiler from cygwin x86 to something with an ELF executable target.

One of our engineers might suggest a more specific target architecture/abi, to build for.

    - Kevin
Excuse the brevity, sent from phone.
From: Piotr
Sent: ‎12/‎05/‎2015 8:31 AM
To: devel@sel4.systems
Subject: [seL4] sel4 example compilation - cygwin

Hi,
I am trying to compile example from 'Download' tutorial under Cygwin.
http://sel4.systems/Download/

What I get is:

[KERNEL]
 [BF_GEN] arch/object/structures_gen.h
 [BF_GEN] plat/machine/hardware_gen.h
 [BF_GEN] api/types_gen.h
 [CPP] src/arch/ia32/machine_asm.s
 [AS] src/arch/ia32/machine_asm.o
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S: Assembler messages:
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:15: Warning: .type pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:15: Error: junk at end of line, first unrecognized character is `o'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:20: Warning: .size pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:20: Error: junk at end of line, first unrecognized character is `o'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:22: Warning: .type pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:22: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:26: Warning: .size pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:26: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:30: Warning: .type pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:30: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:34: Warning: .size pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:34: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:36: Warning: .type pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:36: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:41: Warning: .size pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:41: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:43: Warning: .type pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:43: Error: junk at end of line, first unrecognized character is `i'
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:49: Warning: .size pseudo-op used outside of .def/.endef ignored.
/home/user/seL4test/kernel/src/arch/ia32/machine_asm.S:49: Error: junk at end of line, first unrecognized character is `i'
..........


What to do with it?


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
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel