Skip to content

syncs from the dev branch to the main branch #122

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 160 commits into from
Jul 2, 2025
Merged

syncs from the dev branch to the main branch #122

merged 160 commits into from
Jul 2, 2025

Conversation

doctorlai-msrc
Copy link
Collaborator

This PR syncs from the dev branch to the main branch which contains:

#117

doctorlai-msrc and others added 16 commits June 30, 2025 11:00
…r[16]) as a string. (#117)

This PR fixes the bug that causes a segfault by using the logger to
print the stream_id (which is char[16]) as a string. Therefore, this PR
converts the stream_id to string first before using the jbpf_logger to
print it as string type e.g. %s.

Tested in pipeline:

![image](https://github.com/user-attachments/assets/1b5c82e2-f6c2-459e-9265-e12f49029e21)
This PR adds the emulator at `src/emulator` and integrate it in the
CMake, please refer to `src/emulator/README.md` for more details.
…F_STATIC=Both (#22)

This PR changes the cmake option `JBPF_STATIC` to 3 states: On, Off and
Both.
When set to Both, both the `libjbpf.a` and `libjbpf.so` will be built
This was accidentally merged in
Reverts #4
…on -DJBPF_STATIC=Both" (#120)

This was accidentally merged in
Reverts #22
@doctorlai-msrc doctorlai-msrc marked this pull request as ready for review July 2, 2025 12:15
@doctorlai-msrc doctorlai-msrc enabled auto-merge July 2, 2025 12:31
@doctorlai-msrc doctorlai-msrc added this pull request to the merge queue Jul 2, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jul 2, 2025
@doctorlai-msrc doctorlai-msrc added this pull request to the merge queue Jul 2, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jul 2, 2025
@doctorlai-msrc doctorlai-msrc added this pull request to the merge queue Jul 2, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Jul 2, 2025
@doctorlai-msrc doctorlai-msrc added this pull request to the merge queue Jul 2, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Jul 2, 2025
@doctorlai-msrc doctorlai-msrc added this pull request to the merge queue Jul 2, 2025
Merged via the queue into main with commit b15dd03 Jul 2, 2025
201 of 225 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants