runtime locking correctness validator
Hi Luisa,
Welcome 😊
I’ll add some comments on the GH issue.
Cheers,
C
From:
devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator
Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions
ZjQcmQRYFpfptBannerStart
|
ZjQcmQRYFpfptBannerEnd
Hey everyone :)
I'm new to the community and I'd like to start contributing to Zephyr.
As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073
If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!
Best :)
Luisa
Hi Luisa,
I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.
https://discord.com/invite/Ck7jw53nU2
Cheers,
C
From:
devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator
Hi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com>
ZjQcmQRYFpfptBannerStart
|
ZjQcmQRYFpfptBannerEnd
Hi Luisa,
Welcome 😊
I’ll add some comments on the GH issue.
Cheers,
C
From:
devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validator
Hey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions
ZjQcmQRYFpfptBannerStart
|
ZjQcmQRYFpfptBannerEnd
Hey everyone :)
I'm new to the community and I'd like to start contributing to Zephyr.
As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073
If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!
Best :)
Luisa
Hi Luisa,
You likely will not need a board to test functionality. In fact, a large amount of Zephyr development and Zephyr CI uses virtual hardware and / or native_posix.
The native_posix (or native_posix_64) targets have the advantage of being just regular Linux applications (unfortunately macOS is not yet supported), so it’s good for testing hardware-agnostic code like libraries.
For other purposes, I would suggest a Qemu target – e.g. qemu_x86_64, qemu_cortex_a53, …
You can run an individual sample app with, for example,
west build -p auto -b qemu_x86_64 -t run samples/hello_world
if you would like to debug the sample app, then use
west build -p auto -b qemu_x86_64 -t debugserver samples/hello_world
and then hit F5 in VS Code. See my launch.json file below for reference [1].
For running an entire suite of tests, you can use
twister -p qemu_x86_64 -T tests/kernel
For more real-time support, I would very much suggest getting on the Discord server.
Cheers,
C
[1]
{
"version": "0.2.0",
"configurations": [
{
"name": "Remote Attach",
"type": "lldb",
"request": "custom",
"targetCreateCommands": [
"target create ${workspaceFolder}/build/zephyr/zephyr.elf"
],
"processCreateCommands": [
"gdb-remote localhost:1234",
]
},
{
"name": "Remote Attach (riscv64)",
"type": "cppdbg",
"request": "launch",
"cwd": "${workspaceFolder}",
"program": "${workspaceFolder}/build/zephyr/zephyr.elf",
"MIMode": "gdb",
"miDebuggerPath": "${userHome}/zephyr-sdk-0.15.1/riscv64-zephyr-elf/bin/riscv64-zephyr-elf-gdb",
"miDebuggerServerAddress": "localhost:1234",
"launchCompleteCommand": "exec-run",
},
],
}
From:
luisa cicolini <luisacicolini@...>
Date: Wednesday, November 2, 2022 at 12:42 PM
To: Chris Friedt <cfriedt@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validator
Dear Chris, Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now. I still have a question though: do you think I will need a board to test the functionality - even
ZjQcmQRYFpfptBannerStart
|
ZjQcmQRYFpfptBannerEnd
Dear Chris,
Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now.
I still have a question though: do you think I will need a board to test the functionality - even though it is a software issue?
I read the documentation, but could not find anything regarding boards' emulation nor anything similar.
Best,
Luisa Cicolini
Hi Luisa,
I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.
https://discord.com/invite/Ck7jw53nU2
Cheers,
C
From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validatorHi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com>
ZjQcmQRYFpfptBannerStart
This Message Is From an External Sender
ZjQcmQRYFpfptBannerEnd
Hi Luisa,
Welcome 😊
I’ll add some comments on the GH issue.
Cheers,
C
From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validatorHey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions
ZjQcmQRYFpfptBannerStart
This Message Is From an Untrusted Sender
You have not previously corresponded with this sender.
ZjQcmQRYFpfptBannerEnd
Hey everyone :)
I'm new to the community and I'd like to start contributing to Zephyr.
As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073
If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!
Best :)
Luisa
Hi Luisa,
You likely will not need a board to test functionality. In fact, a large amount of Zephyr development and Zephyr CI uses virtual hardware and / or native_posix.
The native_posix (or native_posix_64) targets have the advantage of being just regular Linux applications (unfortunately macOS is not yet supported), so it’s good for testing hardware-agnostic code like libraries.
For other purposes, I would suggest a Qemu target – e.g. qemu_x86_64, qemu_cortex_a53, …
You can run an individual sample app with, for example,
west build -p auto -b qemu_x86_64 -t run samples/hello_world
if you would like to debug the sample app, then use
west build -p auto -b qemu_x86_64 -t debugserver samples/hello_world
and then hit F5 in VS Code. See my launch.json file below for reference [1].
For running an entire suite of tests, you can use
twister -p qemu_x86_64 -T tests/kernel
For more real-time support, I would very much suggest getting on the Discord server.
Cheers,
C
[1]
{"version": "0.2.0",
"configurations": [
{
"name": "Remote Attach",
"type": "lldb",
"request": "custom",
"targetCreateCommands": [
"target create ${workspaceFolder}/build/zephyr/zephyr.elf"
],
"processCreateCommands": [
"gdb-remote localhost:1234",
]
},
{
"name": "Remote Attach (riscv64)",
"type": "cppdbg",
"request": "launch",
"cwd": "${workspaceFolder}",
"program": "${workspaceFolder}/build/zephyr/zephyr.elf",
"MIMode": "gdb",
"miDebuggerPath": "${userHome}/zephyr-sdk-0.15.1/riscv64-zephyr-elf/bin/riscv64-zephyr-elf-gdb",
"miDebuggerServerAddress": "localhost:1234",
"launchCompleteCommand": "exec-run",
},
],
}
From: luisa cicolini <luisacicolini@...>
Date: Wednesday, November 2, 2022 at 12:42 PM
To: Chris Friedt <cfriedt@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validatorDear Chris, Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now. I still have a question though: do you think I will need a board to test the functionality - even
ZjQcmQRYFpfptBannerStart
This Message Is From an Untrusted Sender
You have not previously corresponded with this sender.
ZjQcmQRYFpfptBannerEnd
Dear Chris,
Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now.
I still have a question though: do you think I will need a board to test the functionality - even though it is a software issue?
I read the documentation, but could not find anything regarding boards' emulation nor anything similar.
Best,
Luisa Cicolini
On Thu, Oct 20, 2022 at 2:09 PM Chris Friedt <cfriedt@...> wrote:
Hi Luisa,
I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.
https://discord.com/invite/Ck7jw53nU2
Cheers,
C
From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validatorHi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com>
ZjQcmQRYFpfptBannerStart
This Message Is From an External Sender
ZjQcmQRYFpfptBannerEnd
Hi Luisa,
Welcome 😊
I’ll add some comments on the GH issue.
Cheers,
C
From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validatorHey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions
ZjQcmQRYFpfptBannerStart
This Message Is From an Untrusted Sender
You have not previously corresponded with this sender.
ZjQcmQRYFpfptBannerEnd
Hey everyone :)
I'm new to the community and I'd like to start contributing to Zephyr.
As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073
If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!
Best :)
Luisa
Hi Luisa,
You likely will not need a board to test functionality. In fact, a large amount of Zephyr development and Zephyr CI uses virtual hardware and / or native_posix.
The native_posix (or native_posix_64) targets have the advantage of being just regular Linux applications (unfortunately macOS is not yet supported), so it’s good for testing hardware-agnostic code like libraries.
For other purposes, I would suggest a Qemu target – e.g. qemu_x86_64, qemu_cortex_a53, …
You can run an individual sample app with, for example,
west build -p auto -b qemu_x86_64 -t run samples/hello_world
if you would like to debug the sample app, then use
west build -p auto -b qemu_x86_64 -t debugserver samples/hello_world
and then hit F5 in VS Code. See my launch.json file below for reference [1].
For running an entire suite of tests, you can use
twister -p qemu_x86_64 -T tests/kernel
For more real-time support, I would very much suggest getting on the Discord server.
Cheers,
C
[1]
{"version": "0.2.0",
"configurations": [
{
"name": "Remote Attach",
"type": "lldb",
"request": "custom",
"targetCreateCommands": [
"target create ${workspaceFolder}/build/zephyr/zephyr.elf"
],
"processCreateCommands": [
"gdb-remote localhost:1234",
]
},
{
"name": "Remote Attach (riscv64)",
"type": "cppdbg",
"request": "launch",
"cwd": "${workspaceFolder}",
"program": "${workspaceFolder}/build/zephyr/zephyr.elf",
"MIMode": "gdb",
"miDebuggerPath": "${userHome}/zephyr-sdk-0.15.1/riscv64-zephyr-elf/bin/riscv64-zephyr-elf-gdb",
"miDebuggerServerAddress": "localhost:1234",
"launchCompleteCommand": "exec-run",
},
],
}
From: luisa cicolini <luisacicolini@...>
Date: Wednesday, November 2, 2022 at 12:42 PM
To: Chris Friedt <cfriedt@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validatorDear Chris, Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now. I still have a question though: do you think I will need a board to test the functionality - even
ZjQcmQRYFpfptBannerStart
This Message Is From an Untrusted Sender
You have not previously corresponded with this sender.
ZjQcmQRYFpfptBannerEnd
Dear Chris,
Thank you very much for your suggestions. Unfortunately, I had some troubles with my laptop in the last weeks - should be solved now.
I still have a question though: do you think I will need a board to test the functionality - even though it is a software issue?
I read the documentation, but could not find anything regarding boards' emulation nor anything similar.
Best,
Luisa Cicolini
On Thu, Oct 20, 2022 at 2:09 PM Chris Friedt <cfriedt@...> wrote:
Hi Luisa,
I almost forgot - if you would like a bit more real-time Q&A, Discord is probably your best bet. The community is very friendly and you’ll likely get an answer to your questions within a few minutes.
https://discord.com/invite/Ck7jw53nU2
Cheers,
C
From: devel@... <devel@...> on behalf of Chris Friedt via lists.zephyrproject.org <cfriedt=meta.com@...>
Date: Wednesday, October 19, 2022 at 2:36 PM
To: Luisa Cicolini <luisacicolini@...>, devel@... <devel@...>
Subject: Re: [Zephyr-devel] runtime locking correctness validatorHi Luisa, Welcome 😊 I’ll add some comments on the GH issue. Cheers, C From: devel@ lists. zephyrproject. org <devel@ lists. zephyrproject. org> on behalf of Luisa Cicolini <luisacicolini@ gmail. com>
ZjQcmQRYFpfptBannerStart
This Message Is From an External Sender
ZjQcmQRYFpfptBannerEnd
Hi Luisa,
Welcome 😊
I’ll add some comments on the GH issue.
Cheers,
C
From: devel@... <devel@...> on behalf of Luisa Cicolini <luisacicolini@...>
Date: Wednesday, October 19, 2022 at 6:46 AM
To: devel@... <devel@...>
Subject: [Zephyr-devel] runtime locking correctness validatorHey everyone :) I'm new to the community and I'd like to start contributing to Zephyr. As a first-timer contributor, I would like to address this issue: https: //github. com/zephyrproject-rtos/zephyr/issues/51073 If anyone has any suggestions
ZjQcmQRYFpfptBannerStart
This Message Is From an Untrusted Sender
You have not previously corresponded with this sender.
ZjQcmQRYFpfptBannerEnd
Hey everyone :)
I'm new to the community and I'd like to start contributing to Zephyr.
As a first-timer contributor, I would like to address this issue: https://github.com/zephyrproject-rtos/zephyr/issues/51073
If anyone has any suggestions or has begun tackling this issue already and wants to share their experience, please let me know!
Best :)
Luisa