Skip to content
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

vm_minimal, zcu102: add petalinux 2022.1 support #71

Merged
merged 1 commit into from
Jan 31, 2024

Conversation

chrisguikema
Copy link
Contributor

@chrisguikema chrisguikema commented Jan 31, 2024

Copy link
Member

@axel-h axel-h left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good to me

"initrd_addr" : VAR_STRINGIZE(VM_INITRD_ADDR),
"kernel_entry_addr" : VAR_STRINGIZE(VM_ENTRY_ADDR),
};
vm0.num_vcpus = 4;
Copy link
Member

@axel-h axel-h Jan 31, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Currently we start the kernel with just one core, so the VMM handles this gracefully:

...
[email protected]:1332 Invalid 'num_vcpus' attribute setting: Exceeds maximum number of supported nodes. Capping value to CONFIG_MAX_NUM_NODES (1)
...
  [    0.051469] smp: Bringing up secondary CPUs ...
  [    0.055903] smp: Brought up 1 node, 1 CPU
  [    0.059863] SMP: Total of 1 processors activated.
...

The next step could having another test run on ZCU102 that makes the 4 cores available.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should be easy enough to add to the build.yml file.

@lsf37 lsf37 merged commit 10405f6 into seL4:master Jan 31, 2024
13 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