GithubHelp home page GithubHelp logo

ivan-velickovic / microkit Goto Github PK

View Code? Open in Web Editor NEW

This project forked from sel4/microkit

8.0 8.0 12.0 2.85 MB

Microkit - A simple operating system framework for the seL4 microkernel

License: BSD 2-Clause "Simplified" License

Python 57.44% Makefile 6.67% C 31.14% Assembly 4.27% Starlark 0.36% Shell 0.13%

microkit's People

Contributors

alwin-joshy avatar bennoleslie avatar ivan-velickovic avatar lucypa avatar malus-brandywine avatar ryanshi42 avatar

Stargazers

avatar avatar avatar avatar avatar avatar avatar avatar

Watchers

avatar avatar avatar avatar

Forkers

patrick-forks hlyytine tiiuae colored-dye maaaat makatea-project ryanshi42 malus-brandywine alwin-joshy everton-dematos

microkit's Issues

Build fails on star64

I am seeing an error when I try to build the sdk from your dev branch. When I run:

python build_sdk.py --sel4=/host/seL4/

usiing your fork of seL4 I see:

make: Leaving directory '/host/ivan-vel-sel4cp/libsel4cp'
Building seL4: sel4_dir=PosixPath('/host/seL4') root_dir=PosixPath('release/sel4cp-sdk-1.2.6') build_dir=PosixPath('build/star64/release/sel4') board=BoardInfo(name='star64', arch=2, gcc_flags='', loader_link_address=1610612736, kernel_options={'KernelIsMCS': True, 'KernelPlatform': 'star64'}, examples={'hello': PosixPath('example/star64/hello')}) config=ConfigInfo(name='release', debug=False, kernel_options={})
CMake Error at configs/seL4Config.cmake:175 (message):
  Variable 'KernelArch' is not set.
Call Stack (most recent call first):
  CMakeLists.txt:10 (include)

The other boards build fine and they don't have KernelArch explicitly defined so I am not sure what is wrong. Have you see this before?

Panic in sel4cp main

Hi Ivan,
I wanted a running example of hello world on qemu_arm_virt; hence, I started with your repo instead of the one from breakawayconsulting. I see a panic when I run the freshly compiled sel4cp.

I am on commit 8f25ef4 of the dev branch of your sel4cp repo and on commit 88d175008 of sel4cp-dev branch of your fork of the sel4 repo. The compilation worked fine after two hick-ups (I wasn't sure where to install the arm toolchain and had to upgrade pyoxidizer, both are sorted).

RUST_BACKTRACE=full ./release/sel4cp-sdk-1.2.6/bin/sel4cp
thread 'main' panicked at 'already borrowed: BorrowMutError', /home/siagraw/.cargo/registry/src/github.com-1ecc6299db9ec823/pyo3-0.17.3/src/gil.rs:433:45
stack backtrace:
   0:     0x7f52aead67b0 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::had334ddb529a2169
   1:     0x7f52aeb62c5e - core::fmt::write::h1aa7694f03e44db2
   2:     0x7f52aeac80f5 - <unknown>
   3:     0x7f52aead6575 - <unknown>
   4:     0x7f52aead937f - <unknown>
   5:     0x7f52aead90ba - std::panicking::default_hook::he03a933a0f01790f
   6:     0x7f52aead9b28 - std::panicking::rust_panic_with_hook::he26b680bfd953008
   7:     0x7f52aead98c7 - <unknown>
   8:     0x7f52aead6c5c - <unknown>
   9:     0x7f52aead95e2 - rust_begin_unwind
  10:     0x7f52adc920d3 - core::panicking::panic_fmt::he7679b415d25c5f4
  11:     0x7f52adc92393 - core::result::unwrap_failed::hb71caff146724b6b
  12:     0x7f52adf42086 - pyo3::gil::register_owned::h998547cdd21fc09e
  13:     0x7f52adf548c8 - pyo3::types::string::PyString::new::heccde79697d72abe
  14:     0x7f52adc94e4d - <unknown>
  15:     0x7f52adc96aa4 - pyembed::interpreter::MainPythonInterpreter::new::h6ff8b944283a0e80
  16:     0x7f52adc93345 - <unknown>
  17:     0x7f52adc93663 - <unknown>
  18:     0x7f52adc927d9 - <unknown>
  19:     0x7f52aeab91ee - std::rt::lang_start_internal::h167a33dedfef305a
  20:     0x7f52adc93655 - main

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.