^ —————. —.— . . —.— . . .————— . .
——— | | | | | | || | | | |
—(o)— | | | | | | | | | |———— '————|
——————— | | | | | | | || | |
————————— —————' —'— ' —'— ' ' '————— '
home manual roadmap issues status papers download
| File output.txt, 1.3 KB (added by John Lång, 3 years ago) |
|
|
| Line | |
|---|
| 1 | loading bitcode … DiOS … LART … RR … constants … done |
|---|
| 2 | booting … done |
|---|
| 3 | states per second: 5529.41 |
|---|
| 4 | state count: 564 |
|---|
| 5 | mips: 2.1 |
|---|
| 6 | |
|---|
| 7 | error found: yes |
|---|
| 8 | error trace: | |
|---|
| 9 | FAULT: cannot enter kernel mode here |
|---|
| 10 | [0] FATAL: unknown in userspace |
|---|
| 11 | |
|---|
| 12 | active stack: |
|---|
| 13 | - symbol: void __dios::FaultBase::handler<__dios::Context>(_VM_Fault, _VM_Frame*, void (*)()) |
|---|
| 14 | location: /dios/sys/fault.hpp:119 |
|---|
| 15 | - symbol: __dios::SysProxy::start_task(void (*)(void*), void*, int) (.1388) |
|---|
| 16 | location: /dios/sys/syscall.hpp:64 |
|---|
| 17 | - symbol: __dios_start_task.1387 |
|---|
| 18 | location: /dios/include/sys/argpad.hpp:104 |
|---|
| 19 | - symbol: pthread_create.1386 |
|---|
| 20 | location: /dios/libc/pthread/pthread-core.cpp:106 |
|---|
| 21 | - symbol: std::__2::thread::thread<void (ADAPRO::Control::Thread::*)(), ADAPRO::Control::Thread*, void>(void (ADAPRO::Control::Thread::*&&)(), ADAPRO::Control::Thread*&&) (.1385) |
|---|
| 22 | location: /dios/libcxx/include/__threading_support:336 |
|---|
| 23 | - symbol: ADAPRO::Control::Thread::start_async() |
|---|
| 24 | location: /dios/libcxx/include/memory:3003 |
|---|
| 25 | - symbol: ADAPRO::Control::Thread::start_sync() |
|---|
| 26 | location: /usr/include/adapro/ADAPOS/../control/Thread.hpp:592 |
|---|
| 27 | - symbol: main |
|---|
| 28 | location: Model.cpp:73 |
|---|
| 29 | - symbol: __dios_start |
|---|
| 30 | location: /dios/libc/sys/start.cpp:94 |
|---|
| 31 | a report was written to model-divine.report |
|---|