Re: [seL4] seL4 System Utilization / Benchmark

Hi Andrew, Thanks for reporting this. This issue only exists for KZM/ARMv6. I submitted a fix internally (1d8be141afa). Should be pushed to github by tomorrow. Cheers, Hesham From: Andrew Gacek Sent: Thursday, January 19, 2017

Re: [seL4] seL4 System Utilization / Benchmark

Hi Hesham, I am using the master branch of seL4 which includes that commit. Here's how to duplicate the error: repo init -u https://github.com/seL4/camkes-manifest.git repo sync make arm_simple_defconfig make menuconfig # enable benchmarks make On Wed, Jan 18, 2017 at 4:11 PM,

Re: [seL4] seL4 System Utilization / Benchmark

Thanks again Adrian and Ihor for the help. I was able to get something working which was good enough for my needs. In case anybody else is interested, I made a small change to the kernel to get the TCB names back from seL4_SysBenchmarkGetThreadUtilisation():

Re: [seL4] seL4 System Utilization / Benchmark

I got an error when enabling benchmarking: /home/ajgacek/phase3-workspace/perf/kernel/include/arch/arm/arch/benchmark_overflowHandler.h: In function 'handleOverflowIRQ': /home/ajgacek/phase3-workspace/perf/kernel/include/arch/arm/arch/benchmark_overflowHandler.h:22:9: error: implicit declaration

Re: [seL4] CAmkES Templates

Adrian, You were right about the linker error; I had not renamed the LIBS line... As for the template warning, here is my relevant configuration lines: router.ethdriver_attributes = "1"; router.ethdriver_global_endpoint = "router_ep"; router.ethdriver_mac = [00, 0x0A, 0x35, 0x02,

Re: [seL4] ARM LPAE?

I attached the Lauterbach and it seems when executing elf_getMemoryBounds() it jumps to invalid memory region when initializing uint64_t mem_min = UINT64_MAX; Disassembled it seems it happens when executing this instruction: vmov.64 d16,0x Does somebody has an idea whats going