dinosaure/gilbraltar issues and pull requests

#24 - Failing to run with qemu

Issue - State: open - Opened by nickbetteridge 3 months ago - 2 comments

#23 - Format C files, introduce optimized version of `memcpy` and re-apply the optimization about the `lwt` scheduler

Pull Request - State: closed - Opened by dinosaure almost 2 years ago

#22 - Delete the `kernel_old=1` option from the `config.txt`

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

#21 - Fix gcc11

Pull Request - State: closed - Opened by dinosaure about 2 years ago

#20 - gilbraltar does not work anymore with GCC 11 & GCC 12.

Issue - State: closed - Opened by dinosaure about 2 years ago - 1 comment

#19 - Upgrade with signals and interruptions

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

#18 - Fix interrupts mapping to signals for interrupts ID >= 32

Pull Request - State: closed - Opened by TheLortex over 2 years ago - 1 comment

#17 - Fix compilation with OCaml 4.14 and linking with openlibm

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

#16 - nolibc/memcpy + memmove

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

#15 - Fix memmove/memcpy functions implemented into nolibc

Pull Request - State: closed - Opened by dinosaure almost 3 years ago - 1 comment

#14 - Delete `-lm` from the OCaml's `configure`

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

#13 - Interrupt mapped to OCaml signals

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

#12 - Interrupts handler and MMU

Pull Request - State: closed - Opened by TheLortex almost 3 years ago

#11 - add aarch64-linux OCaml toolchain

Pull Request - State: closed - Opened by TheLortex almost 3 years ago

#10 - Better boot.S and link script

Pull Request - State: closed - Opened by dinosaure almost 3 years ago - 6 comments
Labels: help wanted

#9 - This version works!

Pull Request - State: closed - Opened by dinosaure almost 3 years ago

#8 - make it work

Pull Request - State: closed - Opened by TheLortex almost 3 years ago - 1 comment

#7 - Add the MirageOS support

Pull Request - State: closed - Opened by dinosaure almost 3 years ago

#6 - Dunify

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

#5 - multiple CPUs?

Issue - State: open - Opened by hannesm about 3 years ago - 1 comment

#4 - The caml configure does not terminate due to cross compilation

Issue - State: closed - Opened by dinosaure about 3 years ago - 1 comment

#3 - GPIO

Issue - State: open - Opened by dinosaure about 3 years ago

#2 - Fill the gap between MirageOS and Gilbraltar

Issue - State: open - Opened by dinosaure about 3 years ago - 1 comment

#1 - FIx the CI