search

second-state / wasmedge-seL4

Integrate WasmEdge with seL4
Apache License 2.0
44 stars 9 forks source link

How to send a .wasm file from ubuntu to the guest Linux？ #13

Closed HagonChan closed 7 months ago

HagonChan commented 7 months ago

83b988debdb7f1ab4e495189e2939f9

it was wrong when i run “./build.sh”, how to solve this problem?

hydai commented 7 months ago

I cannot reproduce your issue. Using the docker way to build is fine.

hydai commented 7 months ago

image in the docker way，the link build artifactseems not working

The github action will autoremove the previous log.

HagonChan commented 7 months ago

If i want to send a .wasm file from ubuntu to the guest Linux，what should i do？

hydai commented 7 months ago

See https://github.com/second-state/wasmedge-seL4/blob/main/build.sh#L52-L53

HagonChan commented 7 months ago

See https://github.com/second-state/wasmedge-seL4/blob/main/build.sh#L52-L53

image

I have put my .wasm file into the path"/sel4_wasmedge/.repo/manifests/wasm-examples/" or "projects/vm-examples/apps/Arm/wasmedge/overlay_files/".

and i rebuild the project,and simulate. but it did not work

hydai commented 7 months ago

And here. https://github.com/second-state/wasmedge-seL4/blob/main/patches/05-vm-examples.patch#L147-L173

HagonChan commented 7 months ago

And here. https://github.com/second-state/wasmedge-seL4/blob/main/patches/05-vm-examples.patch#L147-L173

image

i have edited the .patch file"/home/os/sel4_wasmedge/.repo/manifests/patches/05-vm-examples.patch" and "/home/os/sel4_wasmedge/kernel/tools/hardware/sel4_wasmedge/.repo/manifests/patches/05-vm-examples.patch".

and i also put my newHello.wasm file into the path"/sel4_wasmedge/.repo/manifests/wasm-examples/" and "projects/vm-examples/apps/Arm/wasmedge/overlay_files/".

and i rebuild the project,and simulated ,but it still did not work.

HagonChan commented 7 months ago

I changed the CMakeLists.txt directly，and added .wasm file to "projects/vm-examples/apps/Arm/wasmedge/overlay_files/"，then it works.