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
Hi Alex,
On Thu, 23 Mar 2023 at 14:14, Alex J Lennon ajlennon@dynamicdevices.co.uk wrote:
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.
Just for others on the list,you are referring to [1]
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.
Yes we have a Morello server which is in our farm, and we have a USB mux that allows us to write an image to a USB stick and then make that available to the Morello hardware. We can control the power, etc.
In fact, until very recently, all of Pawel's work on this project has been done remotely via this approach with only interactive board access.
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.
Assuming there is a need after considering the FVP and similar.
But certainly this is something we can very easily provide if there is a need.
[1] https://www.thegoodpenguin.co.uk/blog/automated-testing-with-github-actions-...
Thanks,
Andrew Murray
Let me know if any of this is of interest!
Cheers,
Alex
On 24/03/2023 13:43, Andrew Murray wrote:
Hi Alex,
On Thu, 23 Mar 2023 at 14:14, Alex J Lennon ajlennon@dynamicdevices.co.uk wrote:
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.
Just for others on the list,you are referring to [1]
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.
Yes we have a Morello server which is in our farm, and we have a USB mux that allows us to write an image to a USB stick and then make that available to the Morello hardware. We can control the power, etc.
In fact, until very recently, all of Pawel's work on this project has been done remotely via this approach with only interactive board access.
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.
Assuming there is a need after considering the FVP and similar.
Absolutely fantastic!
In theory of course FVP and Morello hardware should be identical but things never seem to work out like that. I am very interested in comparing and contrasting running on the two to see any differences.
Cheers,
Alex
linux-morello-distros@op-lists.linaro.org
-
Alex J Lennon -
Andrew Murray