tilck
linux
| tilck | linux | |
|---|---|---|
| 15 | 9 | |
| 2,250 | 240 | |
| - | 0.8% | |
| 8.9 | 0.0 | |
| 20 days ago | 9 months ago | |
| C | C | |
| BSD 2-clause "Simplified" License | GNU General Public License v3.0 or later |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
tilck
- Tilck – A Tiny Linux-Compatible Kernel
- Tilck: A Tiny Linux-Compatible Kernel
- Tilck - A Tiny Linux-Compatible Kernel
- Tiny Linux-Compatible Kernel
- Tilck: a Tiny Linux-Compatible Kernel
-
Need projects for college resume
A Linux-compatible kernel written in C with tests written in C, C++ and Python: https://github.com/vvaltchev/tilck
linux
-
Committing to Rust for Kernel Code
> Torvalds answered that, while he used to find problems in the LLVM Clang compiler, now he's more likely to find problems with GCC instead; he now builds with Clang.
https://github.com/ClangBuiltLinux/linux/issues is our bug tracker for known issues (a few are tracked in llvm's issue tracker). Bug reporters and future kernel hackers wanted!
As I mentioned on mastodon, there's lots of bugs still to be fixed everywhere, but even if we don't fix them, providing competition in the toolchain space has been worth it to users.
-
ISO C became unusable for operating systems development
Linux builds on clang after a decade of dedicated effort to make it happen, and that is with clang overall being comparatively similar to gcc (e.g clang implements many gcc extensions): https://github.com/ClangBuiltLinux/linux/wiki/Project-histor...
-
What (not how) to contribute to the kernel
We got plenty of bugs for building the kernel with LLVM, if you're looking for tasks, pick one!
-
Intel C/C++ compilers complete adoption of LLVM
There's an semi-official github[0] for this.
AFAICT from the issue, Clang and binutils/LLVM tools work fine with no patches for the mainstream archs and when not trying to be super-fancy with custom flags. The more non-mainstream one goes with arch or flags the more likely one will run into something.
[0] https://github.com/ClangBuiltLinux/linux/issues
- Is linux insecure?
-
Kernel 5.12.0 clang LTO
If you have any reproducible issues please file them here: https://github.com/ClangBuiltLinux/linux/issues
-
Looking for advice on learning kernel development
See if you can build your distro's config. make LLVM=1 localmodconfig olddefconfig bzImage. Any warnings? Any warnings not in the issue tracker? If not, pick one from the issue tracker and see if you can reproduce it. Note: lots of issues are tagged by target ISA, so you'll need to get familiar with cross compiling (setting ARCH= and CROSS_COMPILE=.
-
Why Apple Chose Clang
It's a pipeline; clang starts, hands off to LLVM.
For a compilation to object file from source code, the vast majority of time for most translation units is spent in the front end of the pipeline, not the middle, or backend.
See also my first plot: https://github.com/ClangBuiltLinux/linux/issues/1086#issueco...
What are some alternatives?
Labrador - EspoTek Labrador is a USB device that transforms your PC or smartphone into a fully-featured electronics lab. This repo holds all of the source code!
wasi-sdk - WASI-enabled WebAssembly C/C++ toolchain
assimp - The official Open-Asset-Importer-Library Repository. Loads 40+ 3D-file-formats into one unified and clean data structure.
checkedc - Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors. Checked C does not address use-after-free errors. This repo has a wiki for Checked C, sample code, the specification, and test code.
pioneer - A game of lonely space adventure
gentooLTO - A Gentoo Portage configuration for building with -O3, Graphite, and LTO optimizations
edk2-sdm845 - (Maybe) Generic edk2 port for sdm845
freebsd-ports - FreeBSD ports tree (read-only mirror)
tfblib - A Tiny Linux Framebuffer Library
gcc
linux-uwu - An optimized kernel based on the Debian Linux sources with graysky2's gcc optimization patch, Gabriel Krisman's fsync patch, and some Clear Linux patches layered on top
unsafe-code-guidelines - Forum for discussion about what unsafe code can and can't do