search

AmbiML / sparrow-manifest

Project Sparrow: Repo Materials
Apache License 2.0
16 stars 3 forks source link

Build riscv64 problem #8

Open BabyMelvin opened 2 years ago

BabyMelvin commented 2 years ago

build methods:

sh scripts/build-sparrow.sh riscv64

build's result hints this:

sparrow/kernel/include/arch/riscv/arch/kernel/machine_timer.h:18:10: fatal error: opentitan/timer.h: No such file or directory
   18 | #include "opentitan/timer.h"
      |          ^~~~~~~~~~~~~~~~~~~
compilation terminated.

where can i found this timer.h or how to create it?
Thanks a lot.

sleffler commented 2 years ago

On Sun, Oct 23, 2022 at 6:55 PM YaSuoInTheHouse @.***> wrote:

build methods:

sh scripts/build-sparrow.sh riscv64

build's result hints this:

sparrow/kernel/include/arch/riscv/arch/kernel/machine_timer.h:18:10: fatal error: opentitan/timer.h: No such file or directory 18 | #include "opentitan/timer.h" | ^~~~~~~ compilation terminated.

where can i found this timer.h or how to create it?

opentitan/timer.h comes from the opentitan https://github.com/lowRISC/opentitan project but it's not what you want. Sparrow on riscv should use the upstream (seL4) support for any non-sparrow platform but unfortunately the riscv support was removed when brought up the system on our (riscv32) platform. To make this work on whatever riscv system you wanted you'll need to merge from upstream (which will eliminate the dep on opentitan).

-Sam

Message ID: @.***>