diff --git a/JOURNAL.md b/JOURNAL.md index 68ce345..c62bf7e 100644 --- a/JOURNAL.md +++ b/JOURNAL.md @@ -3739,3 +3739,13 @@ not correct: +#define PLIC_CLAIM_OFFSET 0x201004UL This seems to be required now as we have two contexts. The test is working now. + +## 2024-08-30 + +We finally have delegation to supervisor working, so now I can go back and focus +on booting NixOS. We will probably require JTAG or some other means to debug all +problems with the boot. + +Now that we have a CI pipeline, let's try making the whole boot process +automatic, so I don't have to type anything. This basically requires setting the +environment in U-Boot. diff --git a/lagarto-ox.nix b/lagarto-ox.nix index ae96af0..d5c6400 100644 --- a/lagarto-ox.nix +++ b/lagarto-ox.nix @@ -334,7 +334,7 @@ ./opensbi-timer-debug.patch #./opensbi-enable-meip.patch #./opensbi-enable-seip.patch - ./opensbi-test-plic.patch + #./opensbi-test-plic.patch # Working delegation test, disabled for now ./opensbi-dump-mregs.patch #./opensbi-dont-delegate.patch #./ox-alveo-platform-plic.patch