- Devel - lists.sel4.systems

Error in comment in abstract spec Syscall_A.thy
by Harry Butterworth 05 Oct '14

05 Oct '14

diff --git a/spec/abstract/Syscall_A.thy b/spec/abstract/Syscall_A.thy index e308501..6576f78 100644 --- a/spec/abstract/Syscall_A.thy +++ b/spec/abstract/Syscall_A.thy @@ -72,7 +72,7 @@ occured in the first operation); this second operation may result in an error; \item the error handler @{text h_error} to execute if the second operation resulted in an error; -\item the third and last operation @{text h_error} to execute (if +\item the third and last operation @{text m_finalise} to execute (if no error occured in the second operation); this operation may be interrupted. \end{itemize}

1 0

several questions about seL4
by 조현우 25 Sep '14

25 Sep '14

Hi I am new in seL4. It is really interesting OS. I would like to ask some questions even though the FAQ explains many things. 1. How different is seL4+VMM with OKL4 or codezero? If there is some performance gap between them, I am curious where the overheads are for? 2. I am wondering how well seL4 can support virtualization services. Can seL4 supports more than two linux simultaneously on the VMM layers? Moreover, can it execute different kind of guest OSes at the same time? What about RTOS? A RTOS can be executed with keeping their real time property on the seL4+VMM?? Lastly, I would like to know when new version of the VMM for A15 support will be released. 3. Did you use a code generator when you hit the steps for “Specification”, “Haskell Prototype” and “C code” In the Proof Processing? If you did it using any automatic tool, I am so curious how you verified and validated the codes. 4., According to the FAQ, current multicore support is through a multikernel configuration. Do you have any plan for one seL4 kernel to manage several processors? Thank you much in advance. Regards, Joe.

2 1

Building a Custom Test
by Matthew Scaperoth 23 Sep '14

23 Sep '14

Hello All, First I wanted to say thank you for this dev forum. The more I learn about SeL4 the more I am amazed with how well it is written. I am working on a 32-bit Ubuntu 14.04 and I would like to run your individual test suites in the sel4-manifest with a 32-bit build. Specifically some of the tests from the https://github.com/seL4/sel4test/tree/master/apps/sel4test-tests/src directory. For example, I'd like to alter the code a little bit and run qemu to output cycle time for IPC or memory mapping. So potentially I would boot up the image, the files would load and I would get an output saying "Intra-as IPC 151 cycles" or something along those lines after the test was automatically run. I was reading through the files and noticed that the main.c accepts arguments to say which test I'd like to run using the find_test() method with the argv passed in. I am now trying to find a way to use the main.c file in sel4test-tests to achieve the build I am after. I also noticed that a .bin file and a another file in stage/ia32/pc99/bin/sel4test-tests are generated when you run the first top-level make after the configuration. So I have tried booting the sel4test-tests file in qemu with qemu-system-i386 -m 512 -serial stdio -kernel images/kernel-ia32-pc99 -initrd stage/ia32/pc99/bin/sel4test-tests but nothing happens. My thought process was that it could replace the driver image for ia32 pc99 (sel4test-driver-image-ia32-pc99) . So I am missing a piece here (or pieces?). I am not sure if there is a Makefile that I can alter to include only a specific test, or if it's something else entirely. I'd be happy to clarify what I aim to achieve or details about my system if necessary. Also, I am really enjoying the code that generates these tests in the main.c file mentioned earlier. I feel like it is a much more graceful solution to running these tests than other l4 systems I've worked with. Thanks again, Matt

1 1

Re: [seL4] Fault Tolerant Operating System for ______________
by da Tyga 19 Sep '14

19 Sep '14

> > Date: Thu, 18 Sep 2014 15:58:29 +0800 >> From: XilongPei(???) <pei_xilong(a)tongji.edu.cn> >> To: "'Aniruddha Bhide'" <aniruddha.360(a)gmail.com>, "'Peter Chubb'" >> <peter.chubb(a)nicta.com.au> >> Cc: devel(a)sel4.systems >> Subject: [seL4] ??: x86 Bootable USB install >> Message-ID: <007c01cfd316$565647b0$0302d710$(a)tongji.edu.cn> >> Content-Type: text/plain; charset="utf-8" >> Hi, >> I am at Tongji University (China, http://www.tongji.edu.cn/english/ ), I >> want to build a Fault Tolerant Operating System for high speed railway. >> >> The seL4 is just a micro-kernel operating system, there is still no >> centre-service to let it work as a PC operating system, and it still can?t >> work as a virtual-machine, such as VirtualBox. There are a lot of works >> should be done before seL4 used as a really operating system. >> >> Xilong Pei >> 2014/9/18 > > > > You are correct. seL4 is a microKernel upon which an operating system could be built. Instead of writing a proprietary OS for your high speed railway (of which there are several already in operation, e.g in France, Germany) you might want to consider porting an existing OS to run on top of seL4, or even better build your specific requirements on top of a robust OS such as those found at http://cog.systems/products.shtml.

1 0

[PATCH] trivial: remove redundant newline in fail() calls.
by Eduard Nicodei 19 Sep '14

19 Sep '14

Hello, I have noticed certain fail() calls include newline. This does not seem necessary since fail() is defined as printf( "seL4 called fail at %s:%u in function %s, saying \"%s\"\n", file, line, function, s ); Which causes affected error messages to contain a single " character on a new line. Patch attached. Regards, Eduard Nicodei

1 0

Sel4 on Pi
by Robert Clove 09 Sep '14

09 Sep '14

Hi All, I am all new to this raspberry pi.I was trying to port sel4 ( https://github.com/seL4/seL4) on raspberry pi but the build instruction ( http://sel4.systems/Hardware/General/) are only for another board. Has anyone successfully ported sel4 on pi. Please guide me Another query does sel4 has networking stack? Regards

2 3

More detailed `running on hardware' instructions
by Peter Chubb 15 Aug '14

15 Aug '14

Hi Folks, I've put up reasonably detailed instructions on how to build and run seL4test on the Sabre Lite, BeagleBoard, Odroid XU and IFC6410. I'm still working on instructions for the Arndale. See http://sel4.systems/Hardware -- Dr Peter Chubb peter.chubb AT nicta.com.au http://www.ssrg.nicta.com.au Software Systems Research Group/NICTA

2 2

Is the log of seL4test right?
by Alex Chih Hu 13 Aug '14

13 Aug '14

Hi, I download seL4test, and then run it. Is the log correct? -------------------------------------------------------------------------------------------- $ make simulate-ia32 qemu-system-i386 \ -m 512 -nographic -kernel images/kernel-ia32-pc99 \ -initrd images/sel4test-driver-image-ia32-pc99 Switching to a safer, bigger stack... seL4 Test ========= INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 31 type 0 Failed to allocate object of size 2147483648, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 30 type 0 Failed to allocate object of size 1073741824, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 29 type 0 Failed to allocate object of size 536870912, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 28 type 0 Failed to allocate object of size 268435456, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 27 type 0 Failed to allocate object of size 134217728, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 26 type 0 Failed to allocate object of size 67108864, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 25 type 0 Failed to allocate object of size 33554432, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 24 type 0 Failed to allocate object of size 16777216, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 23 type 0 Failed to allocate object of size 8388608, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 22 type 0 Failed to allocate object of size 4194304, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 21 type 0 Failed to allocate object of size 2097152, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 20 type 0 Failed to allocate object of size 1048576, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 19 type 0 Failed to allocate object of size 524288, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 18 type 0 Failed to allocate object of size 262144, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 17 type 0 Failed to allocate object of size 131072, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 16 type 0 Failed to allocate object of size 65536, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 15 type 0 Failed to allocate object of size 32768, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 14 type 0 Failed to allocate object of size 16384, error 1 INFO :_allocman_utspace_alloc:301: Regular utspace alloc failed and not watermark for size 13 type 0 Failed to allocate object of size 8192, error 1 <testsuite> <testcase classname="sel4test" name="TEST_CNODEOP0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0005"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0006"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0006 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0007"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0007 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0008"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0008 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP0009"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0009 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CSPACE0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CSPACE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_DOMAINS0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_DOMAINS0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_DOMAINS0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_DOMAINS0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_DOMAINS0003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_DOMAINS0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FPU0000"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FPU0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FPU0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FPU0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FRAMEEXPORTS0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FRAMEEXPORTS0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FRAMERECYCLE0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FRAMERECYCLE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC0003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC0004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC0010"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0010 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC1001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC1002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC1003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC1004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT0003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT0004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT0005"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT1001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT1002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT1003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT1004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RECYCLE0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RECYCLE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RECYCLE0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RECYCLE0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_REGRESSIONS0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_REGRESSIONS0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RETYPE0000"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RETYPE0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RETYPE0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RETYPE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RETYPE0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RETYPE0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED0003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED0004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED0005"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED0006"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0006 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0000"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0003"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0005"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0006"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0006 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0010"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0010 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL0011"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0011 </system-out> </testcase> <testcase classname="sel4test" name="TEST_THREADS0004"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_THREADS0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_THREADS0005"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_THREADS0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_TRIVIAL0000"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_TRIVIAL0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_TRIVIAL0001"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_TRIVIAL0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_TRIVIAL0002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_TRIVIAL0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_VSPACE0000"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_VSPACE0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_VSPACE00002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_VSPACE0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_TRIVIAL00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_TRIVIAL0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_TRIVIAL00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_TRIVIAL0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_TRIVIAL00002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_TRIVIAL0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_THREADS00052"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_THREADS0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_THREADS00042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_THREADS0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00112"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0011 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00102"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0010 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00062"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0006 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00052"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SYSCALL00002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SYSCALL0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED00062"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0006 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED00052"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED00042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED00032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_SCHED00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_SCHED0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RETYPE00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RETYPE0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RETYPE00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RETYPE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RETYPE00002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RETYPE0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_REGRESSIONS00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_REGRESSIONS0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RECYCLE00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RECYCLE0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_RECYCLE00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_RECYCLE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT10042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT10032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT10022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT10012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT1001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT00052"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT00042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT00032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_PAGEFAULT00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_PAGEFAULT0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC10042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC10032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC10022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC10012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC1001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC00102"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0010 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC00042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC00032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_IPC00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_IPC0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FRAMERECYCLE00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FRAMERECYCLE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FRAMEEXPORTS00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FRAMEEXPORTS0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FPU00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FPU0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_FPU00002"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_FPU0000 </system-out> </testcase> <testcase classname="sel4test" name="TEST_DOMAINS00032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_DOMAINS0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_DOMAINS00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_DOMAINS0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_DOMAINS00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_DOMAINS0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CSPACE00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CSPACE0001 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00092"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0009 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00082"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0008 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00072"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0007 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00062"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0006 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00052"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0005 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00042"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0004 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00032"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0003 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00022"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0002 </system-out> </testcase> <testcase classname="sel4test" name="TEST_CNODEOP00012"> INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08048000-->0808f718 INFO :sel4utils_elf_load_record_regions:276: * Loading segment 08091000-->081a9e80 <system-out> TEST_CNODEOP0001 </system-out> </testcase> </testsuite> 122/122 tests passed. All is well in the universe. Ignoring call to sys_exit_group Ignoring call to sys_rt_sigprocmask Ignoring call to sys_gettid Ignoring call to sys_getpid sys_tgkill assuming self kill QEMU 1.5.0 monitor - type 'help' for more information (qemu) q -------------------------------------------------------------------------------------------- The "All is well in the universe" is displayed. But on boot, there are the log "Failed to allocate object of size 2147483648, error 1". Is this item log right? Why there are the these log "Failed to allocate object of size XXXXXXXXXXX, error 1"? Regards, Hu Zhi

2 1

Instructions on using the haskell simulator
by Prashanth Mundkur 10 Aug '14

10 Aug '14

These seem to be missing from the system documentation, especially on how to use it with qemu. I've built the simulator, but am unsure how to use it. The build generates a libHSSEL4-0.3.a, but I can't find an executable anywhere. Also, the simulator manual says it is out-of-date, but the manual seems to include the Haskell literate sources directly. It also says the Haskell code is kept up-to-date. That sounds a bit contradictory. Are the comments in the sources that obsolete? --prashanth [Congratulations on the open-sourcing and excellent license choices!]

2 1

seL4test suite error when compiling for AM335X beaglebone
by Jorge Ventura 07 Aug '14

07 Aug '14

I am trying to create a test for beaglebone using the seL4test suite but I am having the following error: seL4Test/libs/libplatsupport/src/plat/am335x/dm.c:56:25: error: ‘timer’ undeclared (first use in this function) dm_t *dm = (dm_t *) timer->data; I just did "make menuconfig" and change: Architecture Type (ARM) ---> ARM CPU selection (Cortex A8) ---> Platform Type (AM335X (BeagleBone)) ---> Save the configuration and "make". Ventura

3 3