A decade ago, there was an experiment to port OpenBSD to the L4/Fiasco
microkernel [1]. However, if I remember correctly, it was not a
multi-server port, someone please correct me if i am wrong.
Regards,
Aslan
[1]
https://www.isti.tu-berlin.de/fileadmin/fg214/finished_theses/cludwig/OpenBSDonFi
We will not be using your code.
End of story.
Luke Small wrote:
> Marc, all you all have to do is say is that you all refuse to provide it.
Marc, all you all have to do is say is that you all refuse to provide it.
I was asked to at least provide evidence for correctness. I did so; and I’d
say I did a stellar job aside from getting some kind of statistical program.
The following has an attached source code for my test (along with
refe
On Sat, May 21, 2022, at 3:48 PM, Antoine Jacoutot wrote:
> Can you give me real life examples please where it would be useful.
> I don’t want to add configuration knob for a couple of obscur use cases.
audio/navidrome
And there is something else .. I’ll have to look.
>
> Thanks.
>
> —
> A
Daniel Douglas Dyrseth wrote:
> Hi
> Is porting natively a microkernel like seL4, Minix's or rewriting one for
> OpenBSD an option and something the developers could implement? I see this as
> an excellent addition to the already most robust OS in the world.
Not a priority. We want ponies fir
> On May 21, 2022, at 4:16 PM, Daniel Douglas Dyrseth
> wrote:
> Hi
> Is porting natively a microkernel like seL4, Minix's or rewriting one for
> OpenBSD an option and something the developers could implement? I see this as
> an excellent addition to the already most robust OS in the world
On Sat, May 21, 2022 at 07:47:40AM -0500, Luke Small wrote:
> Perhaps it was rude sending off list stuff to the list. Your email sounded
> "less than friendly" and more of a professional challenge that you were
> definitely in the works to produce; much like Damien Miller’s challenge to
> prove cor
Can you give me real life examples please where it would be useful.
I don’t want to add configuration knob for a couple of obscur use cases.
Thanks.
—
Antoine
> On 21 May 2022, at 22:26, Aaron Bieber wrote:
>
>
>
>> On Sat, May 21, 2022, at 10:56 AM, aisha wrote:
>>> On 5/21/2022 12:24 P
'pipex_mppe' and 'pipex_session' structures have uint16_t bit fields
which represent flags. We mix unlocked access to immutable flags with
protected access to mutable ones. This could be not MP independent on
some architectures, so convert them fields to u_int `flags' variables.
bluhm@ pointed thi
On Sat, May 21, 2022, at 10:56 AM, aisha wrote:
> On 5/21/2022 12:24 PM, Antoine Jacoutot wrote:
>> On Sat, May 21, 2022 at 12:04:03PM -0400, A Tammy wrote:
>>> On 5/21/2022 10:53 AM, Antoine Jacoutot wrote:
Hi.
This diff allows to configure an directory from which we run rc.d com
Hi
Is porting natively a microkernel like seL4, Minix's or rewriting one for
OpenBSD an option and something the developers could implement? I see this as
an excellent addition to the already most robust OS in the world.
Sincerely
Daniel Douglas Dyrseth
This diff looks good, except the re-check after kernel lock. It’s
supposed `rt’ could became inconsistent, right? But what stops to
make it inconsistent after first unlocked RTF_LLINFO flag check?
I think this re-check should gone.
> On 21 May 2022, at 19:45, Hrvoje Popovski wrote:
>
> On 18.5.
On 18.5.2022. 20:52, Hrvoje Popovski wrote:
> On 18.5.2022. 17:31, Alexander Bluhm wrote:
>> Hi,
>>
>> For parallel IP forwarding I had put kernel lock around arpresolve()
>> as a quick workaround for crashes. Moving the kernel lock inside
>> the function makes the hot path lock free. I see sligh
On Sat, May 21, 2022 at 12:04:03PM -0400, A Tammy wrote:
>
> On 5/21/2022 10:53 AM, Antoine Jacoutot wrote:
> > Hi.
> >
> > This diff allows to configure an directory from which we run rc.d commands.
> > This can be useful for daemons that must cd into a specific directory prio
> > launching.
> >
On Sat, May 21, 2022 at 12:51:19PM +0100, Stuart Henderson wrote:
> On 2022/05/21 13:44, Tobias Heider wrote:
> > On Fri, May 20, 2022 at 03:41:12PM +0100, Stuart Henderson wrote:
> > > I ran into problems with Apple clients failing to connect to
> > > iked after updating a machine to 7.1, introduc
Hi.
This diff allows to configure an directory from which we run rc.d commands.
This can be useful for daemons that must cd into a specific directory prio
launching.
Here's an example for the automounter.
Some rc.d scripts in ports can benefit from this as well (so we can remove
handcrafted rc_st
Perhaps it was rude sending off list stuff to the list. Your email sounded
"less than friendly" and more of a professional challenge that you were
definitely in the works to produce; much like Damien Miller’s challenge to
prove correctness. So, whatever.
Aside from that unpleasantness:
I worked in
Hello,
I've noticed that OpenBSD 7.1 slaacd isn't yet handling the Route
Information Option (ND_OPT_ROUTE_INFO) contained in the ICMPv6 router
advertisement messages.
In some use cases, this is desirable, so that the more specific routes get
automatically installed in the system routing table, as
On 2022/05/21 13:44, Tobias Heider wrote:
> On Fri, May 20, 2022 at 03:41:12PM +0100, Stuart Henderson wrote:
> > I ran into problems with Apple clients failing to connect to
> > iked after updating a machine to 7.1, introduced by
> > https://github.com/openbsd/src/commit/e3f5cf2ee26929d75dc2df9e86
On Fri, May 20, 2022 at 03:41:12PM +0100, Stuart Henderson wrote:
> I ran into problems with Apple clients failing to connect to
> iked after updating a machine to 7.1, introduced by
> https://github.com/openbsd/src/commit/e3f5cf2ee26929d75dc2df9e86d97c36b2a94268
>
> spi=0xac3d46687441f957: recv I
On Fri, May 20, 2022 at 09:48:28PM -0500, Luke Small wrote:
> Crystal: You can prove that for random, repetitive, correct, database
> record name generation using small upperbounds, the demonstrated 1/3-1/2
> runtime isn???t worth it for an upperbound like 26 - 92 in a business context
> that fight
21 matches
Mail list logo
