Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / sel4/sel4-tutorials issues and pull requests

#109 - github: set fixed ubuntu version

Pull Request - State: closed - Opened by lsf37 20 days ago
Labels: CI

#108 - Handle different 'sh' versions for the init tool

Pull Request - State: closed - Opened by TunaCici 5 months ago - 4 comments

#107 - tools/context: use yaml instead of pyaml

Pull Request - State: closed - Opened by lsf37 7 months ago

#106 - TUTORIALS: Reorganise tutorials and add inline solutions

Pull Request - State: closed - Opened by bbrcknl 9 months ago - 4 comments
Labels: docs

#105 - tools: update to sh version 2

Pull Request - State: closed - Opened by FireyFly 10 months ago - 6 comments

#104 - Update capabilities.md

Pull Request - State: closed - Opened by Willmish about 1 year ago

#102 - Update capabilities.md

Pull Request - State: open - Opened by craigc01 over 1 year ago - 3 comments

#101 - Fix cmake invokation

Pull Request - State: closed - Opened by ghost almost 2 years ago - 1 comment

#100 - The notification tutorial solution seems to have a race condition

Issue - State: open - Opened by lsf37 almost 2 years ago
Labels: bug

#99 - Problem on linux vm tutorial

Issue - State: open - Opened by lalalaporo almost 2 years ago - 2 comments
Labels: question

#98 - Question about seL4_ARCH_PageTable_Map() in the dynamic-2 TASK 4

Issue - State: open - Opened by mincheolsung about 2 years ago
Labels: question

#97 - Cross-VM connector issue

Issue - State: open - Opened by yeerwu about 2 years ago

#96 - Not able to run camkes-vm-linux on the AMD platform

Issue - State: closed - Opened by ChenYangng over 2 years ago - 1 comment
Labels: question

#95 - github: code namespace needed by deploy action

Pull Request - State: closed - Opened by lsf37 over 2 years ago
Labels: CI

#94 - Fix typos in the thread tutorial.

Pull Request - State: closed - Opened by ahmedcharles over 2 years ago - 2 comments

#93 - Not able to input in buildroot camkes-vm-linux

Issue - State: open - Opened by sriram-2 over 2 years ago

#92 - Camkes-VM-Linux Ninja Failed

Issue - State: closed - Opened by sriram-2 over 2 years ago - 1 comment
Labels: question

#91 - docsite/tutorial python fixes

Pull Request - State: closed - Opened by lsf37 almost 3 years ago - 5 comments

#90 - Update VM to provide something with 20.4 at least

Issue - State: open - Opened by axel-h almost 3 years ago

#89 - [WIP] Make generated CMake project independent from the project generator

Pull Request - State: closed - Opened by iacore almost 3 years ago - 9 comments

#88 - Generate clean CMake project

Issue - State: closed - Opened by iacore almost 3 years ago - 1 comment

#87 - Fix CMake errors

Pull Request - State: closed - Opened by iacore almost 3 years ago - 2 comments

#86 - trivial: fix the out-of-date example

Pull Request - State: closed - Opened by JianlongCao about 3 years ago - 2 comments
Labels: docs

#85 - dynamic-3: Fix typo in task 5 hint

Pull Request - State: closed - Opened by sledgehammervampire about 3 years ago - 3 comments

#84 - Clarify hello-world tutorial

Pull Request - State: closed - Opened by sledgehammervampire about 3 years ago - 2 comments

#83 - dynamic-3: Add hint for sel4utils_create_word_args

Pull Request - State: closed - Opened by kent-mcleod about 3 years ago - 1 comment

#82 - Cap fault in dynamic-3 tutorial

Issue - State: closed - Opened by cmcl about 3 years ago - 3 comments

#81 - camkes-vm-linux: pick up proper kernel config

Pull Request - State: closed - Opened by malus-brandywine about 3 years ago - 1 comment

#79 - camkes-vm-linux: Update register new handler

Pull Request - State: closed - Opened by ruizjuanpablo over 3 years ago - 1 comment

#78 - camkes-vm-linux: Update register new handler

Pull Request - State: closed - Opened by ruizjuanpablo over 3 years ago - 1 comment

#77 - github: deploy new manifest after test success

Pull Request - State: closed - Opened by lsf37 over 3 years ago
Labels: CI

#76 - remove inconsistency in cnode size calculations

Pull Request - State: closed - Opened by malus-brandywine over 3 years ago - 10 comments

#75 - try to clarify caps+untyped tutorial text

Pull Request - State: closed - Opened by lsf37 over 3 years ago - 4 comments

#74 - update contact links

Pull Request - State: closed - Opened by lsf37 over 3 years ago
Labels: docs

#73 - clarify what "retype" creates

Issue - State: closed - Opened by lsf37 over 3 years ago
Labels: docs

#72 - explain seL4 "bit" sizes more prominently

Issue - State: closed - Opened by lsf37 over 3 years ago - 1 comment
Labels: docs

#71 - Correctly calculate the number of EndpointObjets

Pull Request - State: closed - Opened by diekmann over 3 years ago - 5 comments

#69 - Update camkes-vm-linux.md

Pull Request - State: closed - Opened by craigc01 over 3 years ago - 1 comment

#68 - Update dynamic-4.md

Pull Request - State: closed - Opened by jonathan-o over 3 years ago

#67 - Update interrupts.md

Pull Request - State: closed - Opened by jonathan-o over 3 years ago - 1 comment

#66 - mcs tutorial: Simplify passive server initialization protocol example

Issue - State: open - Opened by kent-mcleod over 3 years ago - 1 comment
Labels: help wanted

#65 - Clarify retype behavior in untyped tutorial

Pull Request - State: closed - Opened by canarysnort01 over 3 years ago - 6 comments
Labels: docs

#64 - Fix capitalisation inconsistencies

Pull Request - State: closed - Opened by tsoutsman over 3 years ago - 3 comments

#63 - trivial: fix links

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#62 - How can I use another image?

Issue - State: open - Opened by JunJianX over 3 years ago
Labels: question

#61 - Add initial kernel module tutorial

Pull Request - State: closed - Opened by NeisesMike over 3 years ago - 20 comments
Labels: enhancement, docs

#60 - Fixed typos in WriteRegisters; updated API links

Pull Request - State: closed - Opened by lsf37 over 3 years ago

#59 - github: test for solutions on push/pr

Pull Request - State: closed - Opened by lsf37 over 3 years ago - 4 comments
Labels: CI

#58 - Mention manifests at the top

Pull Request - State: closed - Opened by lsf37 over 3 years ago - 1 comment
Labels: docs

#57 - tutorials: Update VM tutorials to use arch func

Pull Request - State: closed - Opened by nomadeel over 3 years ago - 1 comment

#56 - Fix tutorial tests

Pull Request - State: closed - Opened by nomadeel over 3 years ago - 5 comments

#55 - describe end of hello-world

Pull Request - State: closed - Opened by lsf37 over 3 years ago - 3 comments

#54 - fix broken links and minor markdown whitespace

Pull Request - State: closed - Opened by lsf37 almost 4 years ago

#53 - Fix old-style license check

Pull Request - State: closed - Opened by lsf37 almost 4 years ago - 1 comment

#53 - Fix old-style license check

Pull Request - State: closed - Opened by lsf37 almost 4 years ago - 1 comment

#52 - Foundation setup and SPDX tags

Pull Request - State: closed - Opened by lsf37 almost 4 years ago - 4 comments

#51 - dynamic-[2,3]: Remove references to seL4_CapData_t

Pull Request - State: closed - Opened by kent-mcleod about 4 years ago - 2 comments

#51 - dynamic-[2,3]: Remove references to seL4_CapData_t

Pull Request - State: closed - Opened by kent-mcleod about 4 years ago - 2 comments

#50 - dynamic-[2,3] comments refer to deprecated function.

Issue - State: closed - Opened by adam-antonik about 4 years ago - 3 comments
Labels: docs

#49 - January Commit to camkes-vm-linux breaks camkes-vm-crossvm Tutorial

Issue - State: open - Opened by jimshift5 over 4 years ago - 4 comments
Labels: bug

#48 - Correct CNode size from bytes to slots

Pull Request - State: closed - Opened by lainy over 4 years ago - 11 comments

#47 - Mistake in capabilities tutorial

Issue - State: closed - Opened by lainy over 4 years ago - 2 comments

#46 - notifications: Exclude solutions from the generated tutorial page

Pull Request - State: closed - Opened by ddddavidmartin over 4 years ago - 9 comments

#45 - Fixed typos in WriteRegisters calls and updated API links.

Pull Request - State: closed - Opened by cmcl almost 5 years ago - 2 comments

#44 - two critical letters reversed

Pull Request - State: closed - Opened by laokz almost 5 years ago - 9 comments

#43 - Fix tutorial initialisation for CMake 3.16.0

Pull Request - State: closed - Opened by kent-mcleod about 5 years ago - 3 comments

#42 - Permission Denied when ninja

Issue - State: closed - Opened by sjtuzwj about 5 years ago - 3 comments

#41 - Fix rendering issues for dynamic-2

Pull Request - State: closed - Opened by nomadeel about 5 years ago - 4 comments

#40 - failed to init with cmake 3.16.0

Issue - State: closed - Opened by cvluca about 5 years ago - 5 comments

#39 - dynamic-2 is misrendered on sel4.systems

Issue - State: closed - Opened by maybe-sybr about 5 years ago - 2 comments

#38 - Fix initial output doc for notifications tute

Pull Request - State: closed - Opened by maybe-sybr about 5 years ago - 4 comments

#37 - CMake: Find PYTHON3 binary before use

Pull Request - State: closed - Opened by kent-mcleod about 5 years ago - 4 comments

#36 - hello-camkes-1: Hide soluton for idl4 file

Pull Request - State: closed - Opened by kent-mcleod about 5 years ago - 4 comments

#35 - `capdl_linker.py` is not executable

Issue - State: closed - Opened by maybe-sybr about 5 years ago - 4 comments

#34 - Solution code not hidden in --tut hello-camkes-1 gen

Issue - State: closed - Opened by Ben-PH about 5 years ago - 1 comment

#33 - Discussion starter: Possible improvements to hello-camkes-2 tutorial.

Issue - State: open - Opened by Ben-PH about 5 years ago - 2 comments

#32 - Fix typo in camkes tutorial hint.

Pull Request - State: closed - Opened by Ben-PH about 5 years ago - 12 comments

#31 - hello-camkes-1: update md file to match code

Pull Request - State: closed - Opened by Furao over 5 years ago - 6 comments

#30 - Tutorials using CAmkES / capDL fail an assertion

Issue - State: closed - Opened by baltazarortiz over 5 years ago - 3 comments

#29 - Use python3 by default and fix compatibility

Pull Request - State: closed - Opened by jensalmer almost 6 years ago - 1 comment

#28 - Bug in the hello-camkes-timer tutorial

Issue - State: closed - Opened by Leonard-Blazevic almost 6 years ago - 1 comment

#27 - Add rpi3 support to tutorials

Pull Request - State: open - Opened by metebalci almost 6 years ago
Labels: enhancement

#26 - Remove tcb_object from template

Pull Request - State: closed - Opened by tompreston over 6 years ago - 1 comment

#25 - Small prototype issue with hello_2 tutorial in Task 9

Issue - State: closed - Opened by gmottram over 6 years ago - 1 comment

#24 - Caught cap fault in send phase at address 0x0 while trying to handle:

Issue - State: closed - Opened by j824737450 over 6 years ago - 1 comment

#23 - When the CAmkES tutorials can be supported.

Issue - State: closed - Opened by aogrcs almost 7 years ago - 2 comments

#22 - Wrap seL4_DebugNameThread with CONFIG_DEBUG_BUILD

Pull Request - State: closed - Opened by mokshasoft almost 7 years ago - 2 comments

#21 - Incorrect/outdated instructions for repo

Issue - State: closed - Opened by fNek almost 7 years ago - 3 comments

#20 - Hide compiler errors

Pull Request - State: closed - Opened by cloudier over 7 years ago - 1 comment

#19 - seL4 Tutorial 1 won't build the code

Issue - State: closed - Opened by andrewmilson over 7 years ago - 2 comments

#18 - Outdated installation instructions

Issue - State: closed - Opened by pjr2442 over 7 years ago - 1 comment

#17 - fix x86 prereq make target

Pull Request - State: closed - Opened by jeffweiss over 7 years ago - 1 comment

#16 - hello-2: Deprecated API

Issue - State: closed - Opened by huynh91 almost 8 years ago

#15 - hello-1 app won't run under QEMU

Issue - State: closed - Opened by statusfailed almost 8 years ago - 8 comments

#14 - hello-4 recommends using badged cap for receiving

Issue - State: closed - Opened by agacek about 8 years ago - 1 comment

#13 - Solution `hello-camkes-1` won't build with RPC

Issue - State: closed - Opened by Jesse-Millwood about 8 years ago - 3 comments

#12 - Running CAmkES Solution

Issue - State: closed - Opened by Jesse-Millwood about 8 years ago - 3 comments