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 < [email protected]> 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 <[email protected]> > Sent: 12/05/2015 8:31 AM > To: [email protected] > 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
