klange changed the topic of #osdev to: Operating System Development || Don't ask to ask---just ask! || For 3+ LoC, use a pastebin (for example https://gist.github.com/) || Stats + Old logs: http://osdev-logs.qzx.com New Logs: https://libera.irclog.whitequark.org/osdev || Visit https://wiki.osdev.org and https://forum.osdev.org || Books: https://wiki.osdev.org/Books
rnicholl1 has joined #osdev
rnicholl1 has quit [Client Quit]
linear_cannon has quit [Read error: Connection reset by peer]
linearcannon has joined #osdev
termin has quit [Ping timeout: 248 seconds]
HIA has joined #osdev
HIA has quit [Read error: Connection reset by peer]
gog has quit [Ping timeout: 265 seconds]
vdamewood has quit [Read error: Connection reset by peer]
vdamewood has joined #osdev
goliath has quit [Quit: SIGSEGV]
Arthuria has joined #osdev
nyah has quit [Quit: leaving]
heat has quit [Read error: Connection reset by peer]
heat has joined #osdev
<zid`> heat send pés
<zid`> enviar
moberg1 has quit [Remote host closed the connection]
arminweigl_ has joined #osdev
arminweigl has quit [Ping timeout: 248 seconds]
arminweigl_ is now known as arminweigl
TkTech has joined #osdev
linearcannon has quit [Read error: Connection reset by peer]
linear_cannon has joined #osdev
heat has quit [Read error: Connection reset by peer]
heat has joined #osdev
Arthuria has quit [Remote host closed the connection]
vdamewood has quit [Read error: Connection reset by peer]
vdamewood has joined #osdev
slidercrank has joined #osdev
tiggster has joined #osdev
slidercrank has quit [Ping timeout: 250 seconds]
Arthuria has joined #osdev
heat has quit [Remote host closed the connection]
[itchyjunk] has quit [Remote host closed the connection]
Arthuria has quit [Remote host closed the connection]
tiggster has quit [Ping timeout: 260 seconds]
Gooberpatrol_66 has joined #osdev
Gooberpatrol66 has quit [Read error: Connection reset by peer]
slidercrank has joined #osdev
lg has joined #osdev
Jari-- has joined #osdev
<geist> huh was suddenly was thinking about Tivo FS. MFS it seems
<zid`> I don't think you should go around calling tivo motherfuckers
<Ermine> geist: MFS = Minix FS or something else?
<geist> media file system i think
<Ermine> Ah ok thank you
bgs has joined #osdev
staceee has quit [Read error: Connection reset by peer]
staceee has joined #osdev
dude12312414 has joined #osdev
xenos1984 has quit [Ping timeout: 265 seconds]
xenos1984 has joined #osdev
<kazinsal> never read any papers on that one, would love to tho
<kazinsal> these days I tend to find the theoretical of osdev more interesting than the practical
wlemuel has quit [Ping timeout: 250 seconds]
wlemuel has joined #osdev
xenos1984 has quit [Ping timeout: 265 seconds]
vdamewood has quit [Remote host closed the connection]
<geist> there are some utilities written to parse it, etc
<geist> not much info on wikipedia
<geist> obviously tivo implemented it in user space, so it wasn't committed to linux or whatnot
vdamewood has joined #osdev
xenos1984 has joined #osdev
jjuran has quit [Ping timeout: 260 seconds]
jjuran has joined #osdev
Burgundy has joined #osdev
<geist> oh interesting, ken has some discussion about string instruction microcode on 8086: https://www.righto.com/search/label/8086
<bslsk05> ​www.righto.com: Ken Shirriff's blog: 8086
Left_Turn has joined #osdev
biblio has joined #osdev
xvmt has quit [Ping timeout: 240 seconds]
xvmt has joined #osdev
biblio_ has joined #osdev
biblio has quit [Ping timeout: 246 seconds]
biblio_ has quit [Client Quit]
biblio_ has joined #osdev
wlemuel has quit [Ping timeout: 246 seconds]
slidercrank has quit [Ping timeout: 276 seconds]
GeDaMo has joined #osdev
slidercrank has joined #osdev
bauen1 has joined #osdev
Vercas6 has quit [Remote host closed the connection]
Vercas6 has joined #osdev
wlemuel has joined #osdev
bauen1 has quit [Ping timeout: 265 seconds]
bauen1 has joined #osdev
bauen1 has quit [Ping timeout: 248 seconds]
slidercrank has quit [Quit: Why not ask me about Sevastopol's safety protocols?]
gog has joined #osdev
Turn_Left has joined #osdev
Left_Turn has quit [Ping timeout: 250 seconds]
biblio_ has quit [Quit: Leaving]
goliath has joined #osdev
Jari-- has quit [Ping timeout: 265 seconds]
xvmt has quit [Read error: Connection reset by peer]
xvmt has joined #osdev
<ddevault> driver loader works :D
<ddevault> now to write a driver
AmyMalik is now known as Reinhilde
vdamewood has quit [Read error: Connection reset by peer]
dude12312414 has quit [Remote host closed the connection]
dutch has quit [Quit: WeeChat 3.8]
vdamewood has joined #osdev
danilogondolfo has joined #osdev
heat has joined #osdev
<heat> sup
heat has quit [Remote host closed the connection]
heat has joined #osdev
<heat> this is weird, every time I reconnect it says "no ping reply for 3639 seconds"
<heat> and then DC's me
<FireFly> what client?
<heat> hexchat
<FireFly> hm curious
<heat> i think shutdown isn't being done cleanly, so then I reconnect and libera still thinks im on the same connection, and times me out?
<FireFly> that'd be... weird somehow
<FireFly> I think the ircd would know if there's a fresh connection
<FireFly> <-- heat (~heat@sortix/contributor/heat) has quit (Remote host closed the connection
<FireFly> would imply that it's your end/your client closing it, so I wonder if it's hexchat's side that doesn't get a ping reply from the ircd (if the machine is suspended/hibernating)
<FireFly> but if it's a full shutdown + restart it doesn't really explain it
<heat> yea it's a shutdown
<FireFly> weird weird
<sortie> heat, your client might be expecting the remote to respond to ping, but isn't
<sortie> The IRC pings can go both ways
<FireFly> sortie: but why would it time out after ~1h of no response right upon startup/connection?
<FireFly> feels like some sort of mismatch/some old in-flight ping from before shutdown or something
<clever> FireFly: ive had similar happen on my old irc network, when the clock changes
<FireFly> ahh
<clever> the author of the server, made the mistake of not using a monotonic clock
<clever> so when the clock skips forwards an hour, every in-flight ping is an hour late
<sortie> This wouldn't happen if heat used the superior Sortix network stack, time keeping, and irc server
<sortie> Really curious about the hour timeout though
<sortie> Do you see a timeout like that in your hexchat config?
<sortie> Doesn't happen in my hexchat
<heat> sortie, yes, net_ping_timeout = 60
<heat> i wonder if this is a weird timezone thing that's happening at early boot here
dutch has joined #osdev
vdamewood has quit [Remote host closed the connection]
vdamewood has joined #osdev
nyah has joined #osdev
<heat> wait, it should be in seconds, not minutes...
<heat> confused.jpeg
<zid`> you're not dicking around with suspend/resume here right?
<heat> nope
<zid`> good
<zid`> people who suspend hw should be fired into the sun
<FireFly> uh-oh
* FireFly hides
<zid`> don't worry, you won't feel it, you'll be asleep
slidercrank has joined #osdev
<FireFly> do you always shut down laptops?
bnchs has joined #osdev
<heat> fwiw my laptop is struggling to get into any sort of non-S0 power state from Linux
<heat> just dies
<heat> maaaaaaaaaa, the linux people bungled power management again
<zid`> I need to find my thermal paste
<zid`> heat where is it
<heat> idk ask gog
<zid`> why, do you think she ate it
<heat> quite possibly
<heat> definitely the most likely to eat thermal paste in #osdev
<bnchs> hi
<heat> ooh boy another strong contender
<bnchs> i thought the thermal paste was chocolate
<FireFly> don't eat thermal paste
<zid`> but it makes ur insides all shiny :(
<gog> i didn't know what it was so i ate it
vdamewood has quit [Read error: Connection reset by peer]
vdamewood has joined #osdev
[itchyjunk] has joined #osdev
justmatt has quit [Quit: ]
justmatt has joined #osdev
justmatt has quit [Client Quit]
vdamewood has quit [Read error: Connection reset by peer]
justmatt has joined #osdev
vdamewood has joined #osdev
heat has quit [Remote host closed the connection]
heat has joined #osdev
<Ermine> gog: may I pet you
dude12312414 has joined #osdev
slidercrank has quit [Quit: Why not ask me about Sevastopol's safety protocols?]
jjuran has quit [Ping timeout: 250 seconds]
elastic_dog has quit [Killed (tungsten.libera.chat (Nickname regained by services))]
elastic_dog has joined #osdev
<bslsk05> ​i.redd.it: Reddit - Dive into anything
jjuran has joined #osdev
jjuran has quit [Quit: Killing Colloquy first, before it kills me…]
jjuran has joined #osdev
FreeFull has joined #osdev
Matt|home has joined #osdev
<heat> ChadGPT, mofo how do you do threaded interrupts in freebsd if context switching sucks
<heat> is there a trick somewhere
<heat> the linux people would in theory love to axe softirqs but context switching sucks major nuts
<ChadGPT> who said it does not
<heat> if it does not, then why do you not have softirqs
<heat> sorry, if it does*
<ChadGPT> you would have to ask the geez^Wpeople who implemented this
<ChadGPT> general assumption that bsd is doing something therefore it does not suck
<ChadGPT> ... is cute at best
<ChadGPT> i admire your innocence
<bslsk05> ​lore.kernel.org: [PATCH 0/3] softirq: uncontroversial change
<heat> softirq is magic
<heat> bad magic at that
<ChadGPT> > I hope the core concept is not entirely idiotic. It'd be great
<ChadGPT> work from others, because due to various "scheduler improvements"
<ChadGPT> if we could get this in or fold an equivalent concept into ongoing
<ChadGPT> every time we upgrade the production kernel this problem is getting
<ChadGPT> worse :(
<ChadGPT> lmao
heat has quit [Remote host closed the connection]
slidercrank has joined #osdev
Arthuria has joined #osdev
Arthuria has quit [Remote host closed the connection]
<gog> Ermine: yes
Rubikoid has quit [Remote host closed the connection]
Rubikoid has joined #osdev
Rubikoid has quit [Remote host closed the connection]
Rubikoid has joined #osdev
Rubikoid has quit [Remote host closed the connection]
Rubikoid has joined #osdev
<zid`> Am I weird for thinking that kernels in networking roles should just be built without softirq
<zid`> and just run the entire interrupt
* Ermine pets gog
<netbsduser`> zid`: maybe if it's especially designed for it
<zid`> linux gets used in basically every router that isn't cisco running vxworks as far as I know
<zid`> something like a 'profile' in menuconfig might be decent
<zid`> where you just let kconfig know you're building a router not a desktop :P
<zid`> and it can pre-tweak some stuff
heat has joined #osdev
<heat> zid`, i think that the big problem here is that if you get packets in a high enough volume you can essentially stop making progress in other logic and just do 100% CPU on softirqs (in your case, hardirq, whatever)
<zid`> okay?
<zid`> I'd consider that a win, 100% load with no wastage :P
<zid`> if you want some interactivity, send me a packet
<heat> routers do more things than packet processing
<zid`> sadly
<heat> and so do all "kernels in networking roles", whatever that means
<zid`> sory I will say in portgo next time
<heat> por favor, não, estou assistindo futebol no momento
gera has left #osdev [#osdev]
Arthuria has joined #osdev
wlemuel has quit [Ping timeout: 260 seconds]
wlemuel has joined #osdev
rnicholl1 has joined #osdev
<zid`> heat: The wikipedia list of 'portuguese people' ends a hundred years ago, rip
slidercrank has quit [Ping timeout: 260 seconds]
<ChadGPT> spain > portugal
<GeDaMo> Nah, Spain's on the right hand side :P
<zid`> spain > portugal lexographically
rnicholl1 has quit [Quit: My laptop has gone to sleep.]
ZombieChicken has joined #osdev
<heat> zid` my team lost
<heat> i feel sad
<ChadGPT> football fetish again?
<zid`> real team, or imaginary team
<heat> real
<zid`> can never be too careful with these leg watchers
frkazoid333 has quit [Read error: Connection reset by peer]
IRChatter has joined #osdev
dude12312414 has quit [Quit: THE RAM IS TOO DAMN HIGH]
frkazoid333 has joined #osdev
Arthuria has quit [Ping timeout: 250 seconds]
<geist> heh leg watchers?
<geist> is that a real term or did you make it up?
<ddevault> works :)
rnicholl1 has joined #osdev
* ChadGPT watches handball
<heat> just creative snarky remarks from brits
<heat> ChadGPT, naw that's cringe
<heat> almost as cringe as baseball
<ChadGPT> you know what was really cringe
<heat> what
<sakasama> My life?
<heat> :(
<ChadGPT> everyone in poland was giving 0 fucks about handball, then suddenly during one of the olympiads the pl team was doing great
<ChadGPT> they advanced very far, maybe even to the grand final
<ChadGPT> suddenly handblal was the shit
<heat> wow, it's like america but eastern europe
<sakasama> National pride! Hooray! (Loss ensues. Pitchforks readied.)
<sakasama> Did I guess correctly?
<geist> wait, what kinda handball is this? the handball with a hand and a ball and a wall in a room?
<heat> the what now
<geist> i dunno, sometimes folks in other countries call the same sport some other name, so i have to calibrate
<heat> i think there's only a single handball
<heat> which is football (or soccer) but with hands instead of feet
<heat> ...pretty much
<sakasama> The Olympics would be specific, at least.
<geist> well, no there's the handball in the room thats kinda like raquetball
<geist> where you slap the ball against the wall
theboringkid has joined #osdev
<geist> oh ww, yeah you're right, ther'esa team sport version of handball
<geist> i think this is simply unknown in the US
<heat> https://en.wikipedia.org/wiki/American_handball haha wow america is out there disrupting everyone's conversations about sports
<geist> exactly! this is why i was legitimately asking!
rnicholl1 has quit [Quit: My laptop has gone to sleep.]
<geist> was a little surprised that any other team had heard of it, and i guess that's why. it's US only
<geist> same kinda sport as raquetball or squash
GeDaMo has quit [Quit: That's it, you people have stood in my way long enough! I'm going to clown college!]
wlemuel has quit [Read error: Connection reset by peer]
<heat> yeah "handball" world wide refers to basically soccer with hands
bgs has quit [Remote host closed the connection]
theboringkid has quit [Client Quit]
wlemuel has joined #osdev
<geist> which i guess starts to get pretty close to various forms of rugby
<geist> though i dunno if you can kick the ball in all versions of rugby
<ChadGPT> the only sport i watch is Esport
<ChadGPT> .. and i barely even do that
<nikolar> ddevault: nice :)
<ZombieChicken> Sports are meant to be played, not watched
<ddevault> nikolar: thanks :)
<heat> sports are meant to be both
<ZombieChicken> eSports are only really fun to watch if you play the game as well
<heat> not true
<ChadGPT> what if you used to play the game
<ZombieChicken> ChadGPT: I avoid them because DotA was a bit too addicting
<ChadGPT> lol @ people who pay dota
<ChadGPT> play
<ChadGPT> also lol @ people who play lol, lol
<ZombieChicken> lol is legit bad
<heat> lol knows how to put on a show
<ChadGPT> really though, i have no clue about these games, apart from the fact that people get addicted to them
<heat> i've found myself having fun watching worlds finals at like 4am
<ChadGPT> a'la succsefull mmo
<ZombieChicken> ChadGPT: DotA is pretty fun, and rather well balanced, but it can suck you in
<heat> I don't play lol nor do I watch lol so... yeah goes to show how good of a product they have
<sakasama> People get addicted to just about anything though.
<ZombieChicken> I worry less about chemical addictions, and more to psychological ones
<ZombieChicken> s/to/about/
<ChadGPT> people *can* get addicted to anything in principle, but they do get addicted to few things n pratice
<sakasama> Apparently hundreds of people have required therapy to stop eating plastic utensils.
<ChadGPT> TIKTOK
<heat> youtube shortzzzzzz
<ZombieChicken> thankfully most products these days are such garbage, it's not much of an issue
* ChadGPT snorts fentanyl
<ChadGPT> i don't have a problem, *you* have a problem
<ZombieChicken> I'm still amazed how popular tiktok and shorts are. Any I've seen have been pretty much contentless
<geist> yah i played dota and lol a few times. i *see* why it's so addictive so i generally stay away from it
<sakasama> ChadGPT: I concur.
<geist> but i also generally just dislike PvP and toxic communities so that tends to seal the deal
<ChadGPT> that whacks almost any game out there
<ChadGPT> :)
<geist> oh not at all. non pvp games. there are *fantastic* variety of games out right now
<geist> too many games to play
<sakasama> Competitive gameplay is usually a shitshow.
<heat> counter strikeeeeeeeeeeee
<ChadGPT> geist: i mean community
<ZombieChicken> Last I checked the Xonotic community was fairly friendly
<geist> well... we *try* to maintain something non toxic here
<ChadGPT> if you don't want toxic people who are limited to playing with few friends
<ChadGPT> s/who/you
<geist> sure. so make friends
<ZombieChicken> meatspace is so... limiting
<ChadGPT> too busy flaming people for bad champion picks
<heat> lmao
<geist> i do love how older pvp games let you run your own servers, so you could build up little community servers
<geist> that worked great. once they all went matchmaking 100% i was done
<ChadGPT> you can still do that
<heat> you can still do that on valve stuff
<geist> most games dont let you do that
<ChadGPT> you organize on the side and create a custom match
<ChadGPT> with invited people
<ChadGPT> it's not like the ladder is the only wya to play
<geist> sure. but that's not the same thing at all
<bslsk05> ​developer.valvesoftware.com: Counter-Strike: Global Offensive Dedicated Servers - Valve Developer Community
<heat> step by step guide even
<ChadGPT> this is what you would do if you had a commuynity on the side
<geist> the community server is less of a league of players, and more of a chat room that folks join and make acquiantces with
<ChadGPT> see above
<geist> yes.. thats precisely what im talking about
<geist> also note that counter strike was released over 10 years ago
<geist> ie, no new games do that
<geist> day of defeat i used to play a bunch that way too
<geist> probably still around
<ZombieChicken> Who needs new games?
<geist> well it's true
<ZombieChicken> DOS era was all one really needs
<heat> cs2 is coming out soon and it'll 100% still have dedicated community server support
<geist> would be nice to have some of the battle royale games with community servers, for example
<geist> battle royale i find to be fun, toxic matchmaking i do not
<ZombieChicken> geist: Make one. Mod Xonotic
<ZombieChicken> I'm sure they'd love that
<ZombieChicken> and I'm not even joking about that
<heat> yeah but who plays xonotic
<geist> i dont even know what that is
<heat> it explicitly supports FreeBSD
<heat> that's how you know I'm not touching it
<Ermine> geist: a Quake clone
<geist> probably would get sued into the ground to patent infringement
<heat> if it's not a shit linux port or wine'd into the ground, I don't want it
<heat> although I usually game on windows because linukz desktop
<geist> anyway. my point is i liked the old style stuff. i might even fire up day of defeat in a bit, see if it's still alive
xenos1984 has quit [Read error: Connection reset by peer]
<geist> also i really dislike counterstrike, i just dont like that game loop. others do, that's fine.
<ChadGPT> quek 4 life
<geist> Tribes 2 was the shit... that's been dead for so long
<ChadGPT> yesterday i youtube suggested to me a live stream of a quake 2 tdm grand final
<ChadGPT> i was surprised they still have those
<ChadGPT> more, that they got 2 teams of 4 people each
<ChadGPT> meaning thre is at least 8 people playing in europe
<ChadGPT> who knows, maybe this was a farewell party
<heat> geist, what game loop?
<geist> the one i dont like
<heat> yeah but what's the game loop here, wdym
<ZombieChicken> ChadGPT: You mean 8 people in Europe that thought they were good enough to play on a livestream?
<ZombieChicken> Probably at least 80 people playing, maybe 800
<ChadGPT> ZombieChicken: maybe they did not know they were streamed!
<heat> i don't think it's the engine while (true) {handle_events(); draw();} and I don't know any other game loops
<ChadGPT> ZombieChicken: where is that stat from
<geist> well when i say game loop i mean the core game... flowchart. i guess.
<geist> ie, you get weapons you fight this battle with N people, etc etc
<geist> that particular combination that CS has i do not enjoy
<ZombieChicken> buy weapons, play game, switch roles, repeat?
<geist> sure, but there's smoe details abot it i just dont enjoy
<geist> that's all. it's okay to have preferences
<heat> noOOOOOOOoooooooooooooooo no preferences
<heat> u dont agree with me u get deaded
<geist> haha
<ChadGPT> there is only 1 true game
<geist> honestly nowadays i really just dont play shooters that much, i get too stressed out
<ZombieChicken> huh
<ChadGPT> oh?
<geist> just tense, and i already have to deal with neck tension, etc
<ZombieChicken> ChadGPT: q2servers.com
<ZombieChicken> I see a server with, supposedly, 16 people in it
<ChadGPT> i heard of people who get immeidately nervous in multiplayer, regardless of what's happening
<geist> 1 sad person, 15 bots
<geist> in my case it seems to be generally shooters i just tense up muscle wise, which eventually causes problems after an hour or so
<ChadGPT> >david 0 40 2 mins
<heat> battlefield has a strong problem with community servers reporting wrong player counts
<ChadGPT> >purri 0 26 2 mins
<ChadGPT> wut
<geist> enjoy youth, folks
<ChadGPT> ZombieChicken: purri i was one old fart, surprised he is still playing
<ChadGPT> geist: youth is wasted on the young!
<sakasama> I like the campaigns in fps games, but anything pvp is just too toxic imho.
<heat> i give me youth to ChadGPT
<geist> sakasama: basically yeah
<geist> i just dont enjoy toxicity. it's not fun at all to engage in that stuff
<heat> i'm not really toxic but i'm very competitive and hate losing
<heat> and this applies to *anything*
<ChadGPT> you sound toxic
<heat> i'm not!
<geist> i can get pretty competitive too. and my general strategy is to avoid competing where i'm going to lose
<ChadGPT> aight
<geist> which isn't a great strategy, but also... why i dont play pvp games :)
<sakasama> heat: That's the source of most toxic behaviour in games though.
<geist> like, i tend to pick something i can get good at, and stick with it
<ChadGPT> mate if you win, you win in style
<ChadGPT> otherwise what's even the point
<ChadGPT> funny story, i was playin quek once and got rekt by some guy
<ChadGPT> few weeks later that guy talks how he may as well quit playing since he will never be good
<ZombieChicken> ...someone on there has 402 hours online...
<sakasama> geist: Matchmaking is supposed to match you against people who you'll lose against half the time though, so unless you abuse the system you'll have the same ratio regardless if it's not broken.
<ZombieChicken> sakasama: Unless you happen to be improving
<ChadGPT> that ratio does not help getting sensible games
scaleww has joined #osdev
<sakasama> ZombieChicken: True, though that should plateau quickly enough.
<geist> sakasama: yeah. generally when i was playing DoD i was enjoying more of the crazy mods and whatnot folks were doing on the community servers
<geist> i played on overwatch for a while when it first game out. wasn't toxic yet
<sakasama> I haven't even bothered with pvp for at least a decade now, and I usually avoided it before then.
FreeFull has quit []
vdamewood has quit [Remote host closed the connection]
vdamewood has joined #osdev
xenos1984 has joined #osdev
<sakasama> I have no idea why I'm still designing this accursed architecture: even if I finish the design I doubt I'll be able to manufacture it.
heat_ has joined #osdev
heat has quit [Read error: Connection reset by peer]
heat_ is now known as heat
<heat> for fun
<heat> did SVR4 descendents keep the HAT (hardware address translation) naming?
ZombieChicken has quit [Quit: WeeChat 3.8]
<heat> or did they give up and switch to pmap
<heat> ... or something else entirely
<ChadGPT> solaris keeps it
<ChadGPT> or at least did until the great vm rewrite of 2010s
<ChadGPT> no idea past that
<heat> it's very amusing how UNIX had this nice abstraction layer for MMU mappings and all that
<heat> and then linux comes along and does weird page table stuff directly in generic code
<ChadGPT> linux was not supposed to be portable afair
<ChadGPT> it was hackjob which took off out of nowhere
<heat> it was not, but the hackjob got hackier-jobbed over time
<heat> whereas other areas got abstracted, the page table stuff remained
<heat> maybe there's good reason for it, given that generally your pmap.c/mmu.cpp/whatever heavily shares code between architectures
<ChadGPT> there is not
<ChadGPT> and linux mm people comlain about it
<heat> do they?
<ChadGPT> 's what i'm told
<ChadGPT> who would not, apart from the l guy anyway
<heat> why would you?
<heat> you implement a bunch of macros in a header and get all existing page table handling for free
<ChadGPT> right now you have to pretend you are x86
<heat> yea but in 2023 you usually are, and for softmmu keeping track of PTE mappings in a radix tree is not a bad idea anyway
<heat> if you really want to, you could make an argument for a pmap-like interface with a generic, common impl for x86-like schemes
<ChadGPT> in 2023 you really like ARM
<ChadGPT> in fact recent years is where arm really took off vs x86
<ChadGPT> and i'm ignoring all the phones out there
<heat> yeah dude but arm is x86 when it comes to page tables
<ChadGPT> that similar? /me confesses to be mostly ignornat of that sucker
<heat> they just have 2 instead of 1, and some odd features
<heat> yeah x86, arm, armv8+, x86_64, riscv{32,64} all share the general idea of the intel page table format with the radix tree and PTEs and bits (some of them don't have some bits, but it's usually just dirty and accessed there are missing, which are usually better handled in software anyway)
<clever> for the normal kernel/user modes, arm has 2 base pointers, for the upper and lower half of the virtual addr space
<clever> to make it easy to swap out the userland tables without touching kernel tables
<clever> arm hypervisor mode has a single set of tables, which it can optionally apply to "guest physical", giving 2 stages of translation
scaleww has quit [Quit: Leaving]
<geist> heat: oh interesting thing i discovered the other day about qemu riscv that might be interesting: it seems to fully emulate A and D bits
<geist> can't turn it off either. which is kinda a drag. which means it's not possible to implement an accessed fault handler on qemu because it'll never call it
<clever> software mmu?
<clever> or software access/dirty?
<clever> i can see that being a pain
<geist> software access/dirty
<geist> virtually all cores i've seen require software to implement it
<geist> but then qemu just fully emulates it, so you ca't even develop the feature against qemu
<clever> id say thats a qemu bug, you have no way to emulate and debug the code
<geist> same thing with handling unaligned accesses. you can't get it to generate an unaligned trap because it emulates it for you
theboringkid has joined #osdev
theboringkid has quit [Client Quit]
thatcher has quit [Remote host closed the connection]
thatcher has joined #osdev
wlemuel has quit [Ping timeout: 250 seconds]
wlemuel has joined #osdev
Arthuria has joined #osdev
<kof123> re: gaming: Ping-Pong Somehow Elicits Macho Posturing - The Onion www.theonion.com › ping-pong-somehow-elicits-macho-posturing 20 years later: 'So, Do You Play?' Asks Girlfriend's Little Brother, Gesturing Grandly Many of my sister’s suitors who passed through this basement have tried their hand. I’ve always found them lacking.
<bslsk05> ​www.theonion.com: The Onion | America's Finest News Source.
<clever> geist: i also thought of something when explaining arm page tables above, if EL2 only has 1 TTBR register, how do you isolate EL2 ram from guest ram? the privledged bit? that normally does kernel vs user?
Arthuria has quit [Ping timeout: 260 seconds]
<clever> hmmm, re-reading the arm arm, i see a TTBR1_EL2, and a VTTBR_EL2
<clever> that can explain things
Vercas6 has quit [Quit: Ping timeout (120 seconds)]
Vercas6 has joined #osdev
IRChatter has quit [Quit: ]
SGautam has joined #osdev
elastic_dog has quit [Killed (zinc.libera.chat (Nickname regained by services))]
elastic_dog has joined #osdev
heat has quit [Read error: Connection reset by peer]
heat has joined #osdev
danilogondolfo has quit [Remote host closed the connection]
linear_cannon has quit [Ping timeout: 260 seconds]
vdamewood has quit [Read error: Connection reset by peer]
vdamewood has joined #osdev
linear_cannon has joined #osdev
Burgundy has quit [Ping timeout: 255 seconds]
<geist> yeah the V one is only for stage 2 translations. it actually doesn't affect any of the mappings in EL2, it just sets up the S2 translations for when you drop back down to EL1 or 0
<clever> yeah, that makes sense
heat has quit [Ping timeout: 246 seconds]
heat has joined #osdev