Add a simple rumpkernel + rust application

seL4 / camkes

Component Architecture test suite and example apps.

https://docs.sel4.systems/CAmkES/

Other

27 stars 37 forks source link

Add a simple rumpkernel + rust application #4

Closed podhrmic closed 7 years ago

podhrmic commented 7 years ago

Contains two rumpkernels - one running a simple C hello app, and the other one running a simple hello app written in Rust.

kent-mcleod commented 7 years ago

Nice, are you able to rebase this onto the tip of master?

podhrmic commented 7 years ago

This should do!

kent-mcleod commented 7 years ago

If you change the hellorust make rule to the following, you should be able to remove the part in the README about adding the toolchains to your path:

hellorust: $(RUST_SOURCE_DIR)/src/main.rs
    cd $(RUST_SOURCE_DIR) && PATH=${RUMPRUN_BIN_DIR}:${PATH} cargo build --target=$(RUMPRUN_TOOLTUBPLE)
    cp $(RUST_SOURCE_DIR)/target/$(RUMPRUN_TOOLTUBPLE)/debug/rustest $(BUILD_DIR)/$@

Other than that, it's good to merge. I need to follow up on what to do about licence headers though.

kent-mcleod commented 7 years ago

(Darn I just realised that RUMPRUN_TOOLTUBPLE is misspelled everywhere)

podhrmic commented 7 years ago

Done. Also I made another PR for fixing the tooltuple name, see https://github.com/SEL4PROJ/rumprun/pull/1