Hi Talos,

Are you following some instructions or getting started guides? e.g. camkes getting started guide [1] is using kzm config (arm_simple_defconfig).

You can know which target at the time you're configuring the project by:

1) reading the *_defconfig you ran make with,

2) make menuconfig,

3) or after this from the .config file from where you run make *_defconfig or make menuconfig.

Hope that helps.

[1] https://sel4.systems/Info/CAmkES/GettingStarted.pml

Best,

Hesham

________________________________ From: talos 2486580938@qq.com Sent: Friday, June 2, 2017 1:42 PM To: Almatary, Hesham (Data61, Kensington NSW) Subject: 回复： [seL4] camkes-manifest project make failed for arm

Hi Hesham, How could I get which targets I used? Thanks for your patient!

------------------ 原始邮件 ------------------ 发件人: "Hesham.Almatary";Hesham.Almatary@data61.csiro.au; 发送时间: 2017年6月2日(星期五) 中午11:11 收件人: "talos"2486580938@qq.com; 抄送: "devel"devel@sel4.systems; 主题: Re: [seL4] camkes-manifest project make failed for arm

Hi Talos,

Thanks for reporting this. It seems like it’s an issue with KZM (ARMv6) targets which I assume you’re using? I submitted a fix, should be public on GitHub soon. Meanwhile, you can use the following patch to get around this error.

diff --git a/include/util.h b/include/util.h index d6afdbb..4b05430 100644 --- a/include/util.h +++ b/include/util.h @@ -11,7 +11,6 @@ #ifndef __UTIL_H #define __UTIL_H

-#define BIT(n) (1ul << (n)) #define MASK(n) (BIT(n)-1ul) #define IS_ALIGNED(n, b) (!((n) & MASK(b))) #define ROUND_DOWN(n, b) (((n) >> (b)) << (b)) @@ -23,6 +22,7 @@ #ifndef __ASSEMBLER__

#define NULL ((void *)0) +#define BIT(n) (1ul << (n))

#define PACKED __attribute__((packed)) #define NORETURN __attribute__((__noreturn__)) @@ -131,6 +131,10 @@ CONST popcountl(unsigned long x) }

#define POPCOUNTL(x) __builtin_popcountl(x) +#else /* __ASSEMBLER__ */ + + +#define BIT(n) (1 << (n))

Cheers, Hesham

On 2 Jun 2017, at 10:41 am, Hesham.Almatary@data61.csiro.aumailto:Hesham.Almatary@data61.csiro.au wrote:

Hi Talos,

This might be because of this change [1] to the kernel. Since this change has passed on our local machines, I'd be interested to know which toolchain version are you using (specifically binutils)?

[1] https://github.com/seL4/seL4/commit/1930cf2e44908cb8faa5b315651bdb1958102f8f

Cheers, Hesham ________________________________ From: Devel <devel-bounces@sel4.systemsmailto:devel-bounces@sel4.systems> on behalf of talos <2486580938@qq.commailto:2486580938@qq.com> Sent: Friday, June 2, 2017 9:59 AM To: devel Subject: [seL4] camkes-manifest project make failed for arm

When I make the project, it said that: /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S: Assembler messages: /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:56: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:56: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:82: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:82: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:117: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:117: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:128: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:128: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:168: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:168: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:185: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:185: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:213: Error: missing ')' /home/talos/camkes-manifest/kernel/src/arch/arm/32/traps.S:213: Error: garbage following instruction -- `ldr sp,=kernel_stack_alloc+(1ul<<(12))' /home/talos/camkes-manifest/kernel/Makefile:653: recipe for target 'src/arch/arm/32/traps.o' failed make[1]: *** [src/arch/arm/32/traps.o] Error 1 tools/common/project.mk:258: recipe for target 'kernel_elf' failed make: *** [kernel_elf] Error 2

But I make successfully for x86 What's matter? Thanks! _______________________________________________ Devel mailing list Devel@sel4.systemsmailto:Devel@sel4.systems https://sel4.systems/lists/listinfo/devel