I'm trying to port an old sel4 code base to the latest so I decided to take the sel4test manifest & work through through the following page (https://docs.sel4.systems/projects/sel4/porting.html)
The old code base does not add the new platform the same way since the new code seems to have some new CMake macros that do most of the heavy lifting. Is there a test project that does this with an arbitrary platform that I can use as a reference? My platform defines don't seem to be coming through correctly. Is working through the porting page the best way to do and does it seem current? Thanks.
"steve" == steve burke 56 steve.burke.56@gmail.com writes:
steve> I'm trying to port an old sel4 code base to the latest so I steve> decided to take the sel4test manifest & work through through steve> the following page steve> (https://docs.sel4.systems/projects/sel4/porting.html)
That page seems still current, but probably needs more detail.
steve> The old steve> code base does not add the new platform the same way since the steve> new code seems to have some new CMake macros that do most of steve> the heavy lifting. Is there a test project that does this with steve> an arbitrary platform that I can use as a reference? My steve> platform defines don't seem to be coming through correctly. Is steve> working through the porting page the best way to do and does it steve> seem current? Thanks.
The three cmake files mentioned should be where to add your platform's info.
After you've done the ../init-build.sh phase, I suggest doing ccmake . in the build directory to see what variables are set for the build system. You'll have to do 't' (toggle advanced mode) to see all of them.
Symbols that are exported to C will be found from ./libsel4/autoconf/autoconf.h --- it usually includes all the generated files that have the definitions exported from Cmake.
-- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.
On 1 Jun 2023, at 06:31, steve.burke.56@gmail.com wrote:
I'm trying to port an old sel4 code base to the latest so I decided to take the sel4test manifest & work through through the following page (https://docs.sel4.systems/projects/sel4/porting.html)
Hi Steve,
In addition to that page, I have found this extra documentation on porting sel4 useful.
https://github.com/sel4devkit/seL4-DevKit-Doc/blob/main/seL4-doc/src/appendi...
It has links to some more recent ports and could provide you with additional guidance.
Ihor.
-
Ihor Kuz -
Peter Chubb -
steve.burke.56＠gmail.com