Jiří Zárevúcky

Booting on UEFI via grub doesn't really give you anything special. But as it happens, I'm working on a pure UEFI kernel, beginnings of which I'll upload to GitHub soon....

Sooo, I uploaded what I have now. https://github.com/le-jzr/sisyphos-kernel-uefi-x86_64 It's not much, but it builds, runs and prints stuff. Everything else is work in progress.

Although not as simple as letting UEFI draw the glyphs, writing text to a linear framebuffer is still fairly simple, as long as you stick to a bitmap font. Hardcoding...

>Basically, wasm defines another binary format for libraries and executables, and if goblin is trying to exhaustively support binary formats that are widely in use today I don't think that...

> Is there a reason we shouldn't require caller and callee signatures to match? That would allow the use of musttail. Mutual recursion? Requiring matching signatures is sort of acceptable...

> Regarding the "CC0-1.0 for files that are clearly too trivial to copyright", why not use the BSD-3-Clause license instead? Since the BSD 3-clause license is the customary default license...

> [...] > I think that this is the reason why many projects, while adopting the SPDX lines for their clear benefits, still retain some additional wording that explains in...

@martin-decky How about this? ``` /* * SPDX-FileCopyrightText: * SPDX-License-Identifier: BSD-3-Clause * * For terms and conditions governing the use of this source file, please refer * to the full...

@zesterer I think you're misunderstanding the question. The point is not to implement mutex via disabling interrupts, but rather to implement mutex that's a fully multicore safe spinlock that _additionally_...