seL4/seL4 issues and pull requests

#44 - Let aarch32 CallWithMRs

Pull Request - State: closed - Opened by jdub about 8 years ago

#44 - Let aarch32 CallWithMRs

Pull Request - State: closed - Opened by jdub about 8 years ago

#43 - Let x86_64 CallWithMRs

Pull Request - State: closed - Opened by jdub about 8 years ago - 2 comments

#43 - Let x86_64 CallWithMRs

Pull Request - State: closed - Opened by jdub about 8 years ago - 2 comments

#42 - Disable L2 cache during initialisation

Pull Request - State: closed - Opened by jdub about 8 years ago - 4 comments

#42 - Disable L2 cache during initialisation

Pull Request - State: closed - Opened by jdub about 8 years ago - 4 comments

#41 - Drilling down on that mystery async abort

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

#41 - Drilling down on that mystery async abort

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

#40 - Makefile PATH append doesn't tolerate spaces in paths

Issue - State: closed - Opened by lukenels about 8 years ago

#39 - add stub Arch_userStackTrace for x86 PAE

Pull Request - State: closed - Opened by ratmice about 8 years ago - 2 comments

#38 - seL4_NBSend should provide indication that something was sent.

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

#37 - Manual: VM Fault section

Issue - State: closed - Opened by ghost about 8 years ago

#36 - x86: boot hangs due to unstable serial-console output

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

#35 - Mask async aborts for idle thread in debug kernels

Pull Request - State: closed - Opened by jdub about 8 years ago - 5 comments

#34 - x86: add support for position independent syscall bindings

Issue - State: closed - Opened by alex-ab about 8 years ago

#33 - Idle thread runs with async aborts enabled

Issue - State: closed - Opened by philipderrin over 8 years ago - 9 comments

#32 - Banked registers are not available with this architecture

Issue - State: closed - Opened by agacek over 8 years ago - 3 comments

#31 - master branch does not compile with fastpath disabled and hypervisor enabled on ARM

Issue - State: closed - Opened by agacek over 8 years ago - 2 comments

#30 - Can seL4 work on hikey platform?

Issue - State: closed - Opened by peakroar over 8 years ago - 2 comments

#29 - syscall_stub_gen.py ... --word-size 32 ... invocation fails

Issue - State: closed - Opened by alex-ab over 8 years ago - 1 comment

#28 - x86: support to read out serial i/o ports from BIOS data area

Issue - State: closed - Opened by alex-ab over 8 years ago - 3 comments

#27 - Serial output on x86 version 3.1.0

Issue - State: closed - Opened by alex-ab over 8 years ago - 3 comments

#26 - add CONFIG_PRINTING to DEBUG build

Pull Request - State: closed - Opened by zhicheng over 8 years ago - 4 comments

#25 - should enable print in debug build

Pull Request - State: closed - Opened by zhicheng over 8 years ago

#24 - fix Makefile

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

#23 - fix Makefile

Pull Request - State: closed - Opened by zhicheng over 8 years ago

#22 - issue when building for tegra k1

Issue - State: closed - Opened by sei-jdelange over 8 years ago - 3 comments

#21 - Real performance comparisons

Issue - State: closed - Opened by fresheneesz over 8 years ago - 1 comment

#20 - Page fault on x86 kernel initialization with 2.1.0

Issue - State: closed - Opened by chelmuth over 8 years ago - 2 comments

#19 - x86 asm no rule to make.

Issue - State: closed - Opened by gdisneyleugers almost 9 years ago - 2 comments

#18 - FAQ link is incorrect

Pull Request - State: closed - Opened by DavidVorick about 9 years ago - 1 comment

#17 - Dead links in README.md

Issue - State: closed - Opened by watbe about 9 years ago - 2 comments

#16 - Streamline libsel4 and remove its libc dependencies.

Pull Request - State: closed - Opened by winksaville over 9 years ago - 6 comments

#15 - Streamline kernel/libsel4 and remove its libc dependencies

Issue - State: closed - Opened by winksaville over 9 years ago - 1 comment

#14 - Update libsel4 to not have any dependency on libc/HAVE_LIBC.

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

#13 - Update libsel4 to not have any dependency on libc/HAVE_LIBC.

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

#12 - Add -ggdb and -g3 to ASFLAGS when DEBUG is enabled just like CFLAGS.

Pull Request - State: closed - Opened by winksaville over 9 years ago

#11 - Allwinner A20 support

Pull Request - State: closed - Opened by Furao almost 10 years ago

#10 - Experimental

Pull Request - State: closed - Opened by Furao almost 10 years ago - 3 comments

#9 - tools: *: use proper python2 shebang line

Pull Request - State: closed - Opened by cyphar almost 10 years ago - 1 comment

#8 - Shebang in Python files should use python2.7

Issue - State: closed - Opened by HarveyHunt almost 10 years ago - 4 comments

#7 - Compile error: array

Issue - State: closed - Opened by phuicy over 10 years ago - 2 comments

#6 - Use usr/bin/env for all python bangpaths to enable virtualenv use.

Pull Request - State: closed - Opened by maxrp over 10 years ago

#5 - 64-bit Intel support

Issue - State: closed - Opened by alexanderkjeldaas over 10 years ago - 2 comments
Labels: question

#4 - Change README `http://sel4.systems` links to HTTPS

Pull Request - State: closed - Opened by 8573 over 10 years ago - 1 comment

#3 - Adjust Python interpreter in shebangs.

Pull Request - State: closed - Opened by daniel-j-h over 10 years ago - 5 comments

#2 - reserved identifier violation

Issue - State: closed - Opened by elfring over 10 years ago - 18 comments
Labels: invalid

#1 - arm926ej_s is not officially supported

Issue - State: closed - Opened by jserv over 10 years ago - 3 comments
Labels: enhancement

GitHub / seL4/seL4 issues and pull requests