【开发日志】第二十四周（2025.09.14）

[Irissssaa]

工作内容

• 尝试lilos运行

  1. 我选择的 qemu 配置是 qemu-system-arm -M lm3s6965evb，它只能模拟 lm3s6965 这块开发板

  2. examples中的例子不能在qemu上运行，查看根目录的Cargo.toml文件，testsuite/lm3s6965这个例子没问题。

      members = [
          "extra/*",
          "os",
          "examples/*/*",
          "testsuite",
          "testsuite/stm32f3",
          "testsuite/stm32f4",
          "testsuite/stm32g0",
          "testsuite/lm3s6965",   <---- 这里
      ]

  3. 运行成功

     iristseng@iZ2zeaeosnumduug01ryjjZ:~/data/lilos$ cd testsuite/lm3s6965
     iristseng@iZ2zeaeosnumduug01ryjjZ:~/data/lilos/testsuite/lm3s6965$ ./run.sh
     warning: cargo:rustc-check-cfg requires -Zcheck-cfg=output flag
     warning: cargo:rustc-check-cfg requires -Zcheck-cfg=output flag
         Finished dev [optimized + debuginfo] target(s) in 0.13s
          Running `qemu-system-arm -cpu cortex-m3 -machine lm3s6965evb -nographic -semihosting-config enable=on,target=native -s -kernel /home/iristseng/data/lilos/target/thumbv7m-none-eabi/debug/lilos-testsuite-lm3s6965`
     Timer with period zero, disabling
     test_yield_cpu... OK
     test_other_tasks_started... OK
     test_clock_advancing... OK
     test_sleep_until_basic... OK
     test_sleep_until_multi... OK
     test_with_deadline_actively_polled... OK
     test_with_deadline_blocking... OK
     test_notify... OK
     list::test_list_basics... OK
     list::test_insert_and_wait_not_eager... OK
     list::test_insert_and_wait_wake_one... OK
     list::test_wake_while_insert_order... OK
     list::test_insert_and_wait_cancel_behavior... OK
     list::test_iawwc_no_fire_if_never_polled... OK
     list::test_iawwc_no_fire_if_polled_after_detach... OK
     list::test_iawwc_fire... OK
     mutex::test_stack... OK
     mutex::test_static... OK
     mutex::test_lock_cancel_before_poll... OK
     mutex::test_lock_cancel_while_blocked... OK
     mutex::test_fairness... OK
     mutex::test_rewake_on_cancel... OK
     spsc::test_stack... OK
     spsc::test_static_storage... OK
     spsc::test_static_everything... OK
     spsc::test_nonempty_drop... OK
     handoff::test_create_drop... OK
     handoff::test_split_drop... OK
     handoff::test_push_pop... OK
     handoff::test_push_cancel... OK
     handoff::test_push_cancel_after_block... OK
     handoff::test_push_cancel_after_success... OK
     handoff::test_pop_cancel... OK
     handoff::test_pop_cancel_after_block... OK
     handoff::test_pop_cancel_after_success... OK
     semaphore::test_create_drop... OK
     semaphore::test_acquire... OK
     semaphore::test_release... OK
     semaphore::test_exhaustion... OK
     semaphore::test_fairness... OK
     semaphore::test_cancellation... OK
     semaphore::test_scoped_create_drop... OK
     semaphore::test_scoped_acquire... OK
     semaphore::test_scoped_release... OK
     semaphore::test_scoped_exhaustion... OK
     rwlock::test_create_drop... OK
     rwlock::test_uncontended_try_lock_shared... OK
     rwlock::test_uncontended_try_lock_exclusive... OK
     rwlock::test_blocking... OK
     rwlock::test_fairness... OK
     watch::test_receive_only... OK
     watch::test_send_receive... OK
     tests complete.

     这个测试用例是针对lilos的综合性单元测试和集成测试套件。很适合我们用来测试调试工具。

  4. 在调试器中的Makefile文件中添加了针对lilos的调试命令。

  5. 测试完成后我想了一下，现在这个例子只能证明我们的调试器能够调试内核态的程序，但是还无法证明支持特权级交换的程序调试，我又查找了一下： Tock OS中很有可能涉及跨越硬件特权级的例子（还没测试过）

• 多运行时测试——完成

会议内容

1. 复现radare2，研究其界面，应用到我们的工具中
2. 复现embassy的那个调试器（我和wxy）