<GeDaMo>
I can't remember who's in charge of bslsk05 but the ##programming linkbot is working on YT links again by using the embed API, something like https://youtube.com/oembed?url=<url here>
<heat>
cc puck
xenos1984 has joined #osdev
gareppa has quit [Quit: WeeChat 4.1.1]
<puck>
we feed it thru yt-dlp, so i need to see if that needs rebumping
<netbsduser>
i have started a riscv port of my kernel
<netbsduser>
it's like planting a tree
<netbsduser>
it's useless now but in a few decades maybe there will be some real risc-v hardware available
<heat>
careful with the weird semantics
<heat>
sfence.vma is turrible :(
<netbsduser>
i've just dealt with bloody aarch64 so i am feeling more optimistic
<netbsduser>
what's wrong with sfence.vma?
<heat>
you need to flush the tlb when mapping pages
<heat>
you also need a global tlb flush if you ever touch non-leaf paging structures
<heat>
note that the riscv manual is very amateurish and indirect, so "flush the TLB" is something that's mentioned maybe twice in the whole manual
<heat>
they go about with "fences" and all that shit because you can totes have a riscv core with no tlb
<netbsduser>
oh yeah, i saw some mention about that, i think in an extension
<netbsduser>
i forgot the extension, it had words to the effect of, implentors can abide by these rules by [...blah blah blah...] 6. not implementing any cache of translations
<netbsduser>
the former i can deal with easily, the latter is annoying
<heat>
what former?
<netbsduser>
flush on mapping
<heat>
dude it's annoying and non-trivial to deal with if you have generic code
<netbsduser>
i already detect spurious page faults and flush the needful tlb in that case
<heat>
... why?
<geist>
heat: your fault for having generic code!
<heat>
haha
<geist>
i warned you
<heat>
seriously it's not that hard to deal with, but annoying
[Kalisto]2 has joined #osdev
<netbsduser>
i think the tlb flush was something i threw in a few days ago for aarch64 for whatever reason
<heat>
i'll need one or two extra arch hooks
<geist>
but yeah that's really the worst of it
<netbsduser>
but detecting spurious page faults i have always supported
<geist>
in C++ you could have some helper class that encapsulates the arch specific flush stuff
<geist>
and template the whole thing or take the runtime hit of virtualizing it
<heat>
macros!
<geist>
or that
[Kalisto] has quit [Ping timeout: 252 seconds]
[Kalisto]2 is now known as [Kalisto]
<heat>
i wrote all of that code in C
goliath has joined #osdev
<heat>
i've become more C pilled recently because the C ABI is king. and it's also the kernal
<heat>
even if just to gradually introduce rust over the years if i feel like it
X-Scale44 has quit [Quit: Client closed]
spareproject has joined #osdev
goliath has quit [Quit: SIGSEGV]
hwpplayer1 has joined #osdev
<netbsduser>
heat: do you think you ever will feel like rusticating?
<heat>
i think rust is somewhat inevitable and we'll all be speaking it in 10 years
<heat>
whether we like it or not
<heat>
sooo might as well pick up that language
rlittl has quit [Read error: Connection reset by peer]
Starfoxxes has quit [Read error: Connection reset by peer]
<gorgonical>
My dissertation defense talk is this Thursday at 11am eastern time and there's a zoom link on the off chance that anyone here is interested. I'll msg it to you if you want to see the talk
<sham1>
C!
<heat>
what's it about?
<gorgonical>
secure lightweight kernels to enable trusted/confidential i/o application workloads
<gorgonical>
Basically getting a rich OS/application environment inside a confidential computing environment
Matt|home has joined #osdev
hwpplayer1 has quit [Read error: Connection reset by peer]
hwpplayer1 has joined #osdev
hwpplayer1 has quit [Read error: Connection reset by peer]
GeDaMo has quit [Quit: 0wt 0f v0w3ls.]
hwpplayer1 has joined #osdev
X-Scale has joined #osdev
stolen has quit [Quit: Connection closed for inactivity]
Turn_Left has joined #osdev
Left_Turn has quit [Ping timeout: 265 seconds]
<nikolar>
i highly doubt rust is inevitable
<nikolar>
but time will tell i guess
X-Scale has quit [Ping timeout: 256 seconds]
Left_Turn has joined #osdev
Turn_Left has quit [Ping timeout: 264 seconds]
k0valski18891621 has joined #osdev
Turn_Left has joined #osdev
Left_Turn has quit [Ping timeout: 265 seconds]
<Ermine>
we'll see
<Ermine>
gorgonical: may I have the link?
ratel has joined #osdev
ratel has quit [Quit: ratel]
ratel has joined #osdev
ratel has quit [Client Quit]
Left_Turn has joined #osdev
Turn_Left has quit [Ping timeout: 260 seconds]
netbsduser has quit [Ping timeout: 255 seconds]
<gorgonical>
Ermine: did you get it? Not sure if erc is behaving correctly
hwpplayer1 has quit [Quit: cylater]
<Ermine>
gorgonical: yes, thank you!
<mcrod>
gorgonical i'll take it
Dead_Bush_Sanpai has joined #osdev
hwpplayer1 has joined #osdev
memset has quit [Ping timeout: 260 seconds]
memset has joined #osdev
Stellacy has quit [Quit: Leaving]
Matt|home has quit [Quit: Leaving]
karenthedorf has joined #osdev
Gooberpatrol66 has joined #osdev
karenthedorf is now known as karenw
hwpplayer1 has quit [Remote host closed the connection]
hwpplayer1 has joined #osdev
Stellacy has joined #osdev
Left_Turn has quit [Read error: Connection reset by peer]
karenw has quit [Remote host closed the connection]
osdev199 has quit [Quit: Leaving]
karenw has joined #osdev
Stellacy has quit [Quit: Leaving]
darkstardevx has quit [Quit: Leaving]
hwpplayer1 has quit [Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.4)]