Hi all,
As the tag suggests, this series targets the morello-pcuabi-env
project [1]. It aims to enable support to build Morello ports of
various libraries. The submodules paths are local to my workspace at the
moment, but will point to the public Gitlab libraries sub-group [2],
once it's populated.
This series also exemplifies how two such Morello library ports are
making use of the new build support: libaio and liburing.
Review branch:
https://git.morello-project.org/tudcre01/morello-pcuabi-env/-/commits/morel…
[1] https://git.morello-project.org/morello/morello-pcuabi-env
[2] https://git.morello-project.org/morello/libraries/
Tudor Cretu (4):
Rename build-lib to toolchain-lib
Add support to build software libraries
Integrate Morello libaio
Integrate Morello liburing
.gitignore | 4 ++
.gitmodules | 6 +++
morello/projects/libs/libaio | 1 +
morello/projects/libs/liburing | 1 +
morello/scripts/build-all.sh | 29 ++++++++++----
morello/scripts/build-busybox-docker.sh | 7 ++++
morello/scripts/build-libaio.sh | 39 +++++++++++++++++++
morello/scripts/build-liburing.sh | 33 ++++++++++++++++
...raries.sh => build-toolchain-libraries.sh} | 0
morello/scripts/configure-libs.sh | 31 +++++++++++++++
10 files changed, 144 insertions(+), 7 deletions(-)
create mode 160000 morello/projects/libs/libaio
create mode 160000 morello/projects/libs/liburing
create mode 100755 morello/scripts/build-libaio.sh
create mode 100755 morello/scripts/build-liburing.sh
rename morello/scripts/{build-libraries.sh => build-toolchain-libraries.sh} (100%)
create mode 100755 morello/scripts/configure-libs.sh
--
2.34.1
Hi Pawel,
Quick heads up. I am getting build errors on the linux-morello kernel now.
Commit 87d06928f90fe910311210a0149d03f3420f593c can't be found in
morello/master any more. It seem to be in tag morello-last-5.18
Cheers,
Alex
This series of patches will stop the FVP from opening terminal windows
and add detailed instructions on how to run the model to the README.md
Pawel Zalewski (2):
README.md: update
fvp: do not try to start the terminal
README.md | 54 ++++++++++++++++++++++++-----------
conf/machine/morello-fvp.conf | 12 +++++++-
2 files changed, 49 insertions(+), 17 deletions(-)
--
2.34.1
Hi Pawel,
I had email from Andrew Murray the other day on the impressive work
you're doing at The Good Penguin to connect your embedded board farm to
GitHub workflows.
I mentioned we've done a little here at Dynamic Devices on CI for the
Yocto layers we maintain (ref: https://www.youtube.com/watch?v=TsAcxd_acJI)
We were down at the Digital Catapult yesterday talking about the new
meta-morello layer and it was extremely well received.
This got me thinking and I seem to remember you mentioned you were
putting your Morello board on the Internet? Did you do this?
Maybe you've already looked at this but I was pondering whether we could
connect a GitHub workflow to a build system artifact folder which we
could then expose as a USB gadget device.
This could then be made to look to the Morello Hardware like a connected
USB drive, I think.
And thus we could enable people to remotely build and test and
experiment with real CHERI enabled hardware?
In particular one of the really interesting ideas mentioned to me
yesterday was that even businesses without access to production CHERI
silicon could run and test their products on a CHERI enabled development
board, thus ensuring a level of enhanced security on their non-CHERI
production hardware. A sort of "Tested with CHERI" stamp.
Let me know if any of this is of interest!
Cheers,
Alex