<heat>
for the networking people: is there a succinct list of relevant rfcs to ip{v4,v6} routing?
<heat>
besides rfc1812 that is
raphaelsc has quit [Remote host closed the connection]
edr has quit [Quit: Leaving]
heat has quit [Ping timeout: 246 seconds]
stolen has joined #osdev
Matt|home has quit [Quit: Client closed]
sbalmos has quit [Ping timeout: 276 seconds]
DragonMaus has quit [Read error: Connection reset by peer]
DragonMaus has joined #osdev
sbalmos has joined #osdev
steelswords9 has quit [Read error: Connection reset by peer]
steelswords9 has joined #osdev
guideX has quit [Read error: Connection reset by peer]
vdamewood has quit [Quit: My Mac has gone to sleep. ZZZzzz…]
guideX has joined #osdev
Arthuria has quit [Ping timeout: 260 seconds]
youcai has joined #osdev
vdamewood has joined #osdev
kfv has joined #osdev
eluks has quit [Remote host closed the connection]
eluks has joined #osdev
jedesa has quit [Remote host closed the connection]
stolen has quit [Quit: Connection closed for inactivity]
MTadder has joined #osdev
craigo has quit [Quit: Leaving]
kfv has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jedesa has joined #osdev
MTadder has quit [Quit: Leaving]
GeDaMo has joined #osdev
heat has joined #osdev
Brnocris1 is now known as Brnocrist
dinkelhacker_ has joined #osdev
Lucretia has joined #osdev
mahk has quit [Remote host closed the connection]
heat has quit [Read error: Connection reset by peer]
heat has joined #osdev
antranigv_ is now known as antranigv
mahk has joined #osdev
m3a has quit [Ping timeout: 260 seconds]
kfv has joined #osdev
m3a has joined #osdev
kfv has quit [Max SendQ exceeded]
kfv has joined #osdev
kfv has quit [Client Quit]
netbsduser` has joined #osdev
Lucretia has quit [Ping timeout: 246 seconds]
Lucretia has joined #osdev
obrien has quit [Remote host closed the connection]
kilic has joined #osdev
<Ermine>
I wonder if it's possible to map pci(-e) device memory
<nikolar>
iommu?
<Ermine>
not everything has iommu?
<Ermine>
Maybe there's another way?
hwpplayer1 has joined #osdev
heat_ has joined #osdev
heat has quit [Ping timeout: 252 seconds]
<immibis>
that's literally an iommu
<immibis>
heat_: each network does routing the way it wants to. Different networks use different competing technologies, so there's no single way it works. The IP RFCs specify what should be done with the IP packet header, but not how the packet actually ends up at its destination.
<immibis>
there are many RFCs describing technologies that may or may not be used on certain networks. On the internet, BGP is a common denominator, but it's designed for the network edges where networks talk to other networks, isn't a complete routing protocol, and doesn't even fully specify how routers should pick routes based on BGP information.
<immibis>
seems like an increasing number of networks are using BGP internally as well, which is a bit stupid IMO because you need a bunch of extra complexity then.
<immibis>
Ermine: map which memory where? mapping a device's view of host memory is precisely an IOMMU. Mapping a host's view of device memory is a regular MMU.
edr has joined #osdev
levitating has joined #osdev
levitating_ has joined #osdev
levitating has quit [Ping timeout: 252 seconds]
Arthuria has joined #osdev
heat__ has joined #osdev
levitating_ has quit [Ping timeout: 255 seconds]
hwpplayer1 has quit [Remote host closed the connection]
heat_ has quit [Read error: Connection reset by peer]
<heat__>
immibis, that's not true, the internet would be a mess
<immibis>
heat__: but it is
<heat__>
it is not
<kazinsal>
the internet *is* a mess
<heat__>
all of these things have rfcs
<immibis>
it is. how do you know it isn't?
<heat__>
well it would be a way worse mess
heat__ is now known as heat
<immibis>
yes, each protocol has an RFC, but there's no RFC saying how to make your own network
<immibis>
you can pick and choose from the many competing and contradictory protocols
<heat>
ok?
<heat>
i was asking for ip packet routing aka forwarding and associated rfcs
<heat>
there's a really big one (which seems to be the only one), rfc1812
<heat>
which details a lot of stuff including ip forwarding, icmp, arp, etc
<heat>
(in the context of routing)
<kazinsal>
yeah that's basically it
<kazinsal>
2644 as well but that's just an update to one section
<immibis>
seems like a good overview, but many routers don't actually follow these requirements strictly
<immibis>
one network design that comes to mind is MPLS. The idea with IP over MPLS is that you make a network out of only MPLS switches, and then each router at the edge of your network, looks up the destination address of each packet, to see where the packet should come *out* of your network, and then puts it inside an MPLS network addressed to that edge router. (Which I guess is just an overly complicated way of doing IP-over-ethernet actually)
<immibis>
inside an MPLS packet*
<kazinsal>
EVPN-VXLAN is another one that I "love"
<heat>
kazinsal, ack, thanks. is there a similar one for ipv6?
<immibis>
networks are doing increasingly complicated bullshit internally, and it's fine as long as the packet gets to the edge of the network at the right place
<kazinsal>
8200 for IPv6 itself, 4433 for ICMPv6 which is a hard requirement, 4861 for neighbor discovery
Turn_Left has joined #osdev
<kazinsal>
4862 for autoconf
<heat>
ah i guess those rfcs detail requirements for routers too
<kazinsal>
yep
<heat>
fun fact: in linux, slaac is done by the kernel
Turn_Left has quit [Remote host closed the connection]
<heat>
i find uhhh no good reason for it honestly, it's perfectly doable in userspace if you have some icmpv6 sockets
Turn_Left has joined #osdev
<heat>
heck even those raw packet types work
<immibis>
i'm on o2 cellular in germany (the same one implicated in the story that just came out about germany breaking tor). If I send an ipv4 packet it first goes over wifi to my phone, which does nat, then probably wraps it in an IPv6 packet to get to a CGNAT gateway, then the base station wraps it again in GTP, then in IPv6 again, then ....... none of this is in RFC 1812
<nikolar>
but it doesn't matter, because to your phone everything works by the rfc 1812
<heat>
most if not all of those techniques have associated RFCs. i'm also building an operating system kernel, not an AS
Left_Turn has quit [Ping timeout: 265 seconds]
<kof673>
> 4862 for autoconf 🥁 ࿃ Unicode Character 'BA-DUM-TSS'
<heat>
actually nikolar everything works by rfc791 and 793 and rfc1122 and others, not rfc1812, because your phone doesn't do forwarding 🤓
<immibis>
does anyone even do IGMP by default? i had the impression multicast mostly just doesn't work anywhere unless the admin specifically set it up
<nikolar>
kek sure
<immibis>
my phone does forwarding
<heat>
linux at least has a sysctl for it that defaults to off
<heat>
I see IGMP messages in my local network
<immibis>
how else do you think i managed to pass *checks settings app... hang on...*
<Ermine>
It's OS kernel, not AS kernel
<immibis>
yes. 5 terabytes so far this calendar month
<immibis>
i am really testing their unlimited data policy
<heat>
oh right, mobile hotspot, good point
<heat>
that has to forward
<nikolar>
5tb??
<nikolar>
on your phone
<immibis>
(it isn't degrading service for other customers since the network gives me a fair slice of available radio bandwidth)
<nikolar>
what the heck are you using it for
acidx_ is now known as acidx
<immibis>
[redacted]
<nikolar>
legally acquiring media i presume
<heat>
champions league is the ultimate and only correct answer
<immibis>
presume whatever you like. wouldn't it be a waste if i had some application able to consume high amounts of bandwidth, and didn't run it?
<immibis>
it is the same as why you want your ram to be full
<immibis>
although caching enough things to fill up 256GB actually takes quite a while
Turn_Left has quit [Ping timeout: 246 seconds]
<nikolar>
of course it would be a waste, i am just wondering how you're filling all that bandwith :P
<nikolar>
*bandwidth
<heat>
homework folder doesn't fill itself
<nikolar>
indeed
<immibis>
i brought the same machine to bornhack camp where they are always saying "use more bandwidth", and managed to sustain 500mbps up + 500 down for most of the camp. 4500mbps peak.
Turn_Left has joined #osdev
<immibis>
so i know if i ever get a 7g phone i'll have to upgrade other components
<nikolar>
kek
<immibis>
in order to not waste the possibility of unlimited bandwidth :P
<immibis>
i know one other guy was trying to maximize his bandwidth at bornhack, getting about 650, but he had a ton more hardware, so i win
<immibis>
(and that's useful bandwidth, no iperf allowed)
<immibis>
this isn't #networking anyway or ##defocus
<heat>
ipv6 is the original wayland
<the_oz>
where they went nuts is the focus on "you don't have to gateway!" when security demands a gateway anyway regardless. all that really changes is apparent locality of the address
<the_oz>
>secretly, though, protect the plebs from scammers like google, mozilla, DoH, etc
<heat>
no, you need to gateway, you don't need to NAT however
<zid`>
I mean, it is, but it isn't one you should level at someone
<dinkelhacker>
Anyone got a _complete_ SVD file for the cortex M7? Like one that has the NVIC and SysTick registers in it?
<gog>
i'm not ashamed anymore it's ok
<nikolar>
svd file?
<heat>
ohio sus livy dunne baby gronk
<heat>
why do people bash ohio like that when utah exists and is *so much worse*
<nikolar>
heat: what do you know about either
<gog>
somebody actually asked for help
<dinkelhacker>
nikolar: its a description file that cotains registers descriptions of peripherals, core registers, etc. Tools (debuggers) can use it to automagically provide you with a nice overview of the current state of the hardware
<gog>
i don't hack on arm unfortunately
<heat>
i know everything nikolar
<nikolar>
dinkelhacker: ah cool
<nikolar>
heat: well go ahead
<Ermine>
do you identify yourself as c#
<heat>
no my pronouns are c/c++
<heat>
my only problem with bashing ohio is that all of the other shitty fuckin states keep getting away with it
<Ermine>
it's just a meme
<gog>
i grew up in wisconsin, i'm allowed to take out that trauma on another state's reputation
<the_oz>
florida gets joked a lot on, even though it's only because police records are public data ergo news reports on slow days. Florida man is every state man.
<heat>
honestly out of the 50 states you could probably do away with like 30-35
karenw has joined #osdev
<zid`>
my pronouns are they and ohio, I am a gestalt entity that seeks to turn all into ohio
<the_oz>
heat, them's fighting words
<Ermine>
OKLAHOMA
<gog>
where the wind comes sweeping down the plains
<heat>
lol
<Ermine>
let's memetize Oklahoma!
<gog>
rodgers and hammerstein beat us to it
<gog>
my knowledge of musical theater is a coincidence
<heat>
missouri
<heat>
nothing interesting has ever happened there
<gog>
kansas city is kinda cool
<gog>
st louis is meh
<the_oz>
happenings are what you make of them
<the_oz>
that you say nothing happens means dunbar's number has you
<Ermine>
st louis is a character from some anime, no?
<heat>
gosh is wyoming literally square shaped?
<heat>
well, fucked up rectangle. quad.
<Ermine>
also it's a nice cruiser to play on
<gog>
the border is actually jagged
<gog>
acshually
<heat>
wdym Ermine
<heat>
do you play uhh world of warships
<Ermine>
used to play
<heat>
i tried to play it a couple of times but could never be arsed to fight the pay2win
<heat>
might have gotten to tier 4
<heat>
if i could fight the pay2win i'd be stuck playing war thunder 24/7 because while i do love boats i much prefer planes
<Ermine>
there's an OP paid british destroyer at this tier, but I don't remember encountering anything really broken at those tiers
<heat>
well my problem is more with the slow progression system
<Ermine>
yeah
<Ermine>
So I've got only to tier 5
<Ermine>
and tier 7 in blitz
<Ermine>
It was more fun when I've played with my friends, but they've stopped
GeDaMo has quit [Quit: 0wt 0f v0w3ls.]
_ngn has quit [Ping timeout: 260 seconds]
<zid`>
I never played those games because there's 0 freemium
<zid`>
I don't care if it takes me 8 months to get enough currency for a single paid item
<zid`>
because if I get super into that game, maybe I play it for 10 years and get all the stuff I really really wanted anyway
<zid`>
but there just being 0 way to get the special currency can fuck off
<Ermine>
i don't see anything bad in it
karenw has quit [Quit: Witty Quit Message Here]
karenw has joined #osdev
npc has quit [Remote host closed the connection]
karenw has quit [Remote host closed the connection]
karenw has joined #osdev
MTadder has quit [Read error: Connection reset by peer]
<kof673>
"<Ermine> st louis is a character from some anime, no?" saint germaine shows up in castlevania cartoon lol
<Ermine>
that's not st louis
<kof673>
sure but what did saint louis do? > Saint Germain invented Absinthe : r/castlevania it was actually paracelsus supposedly, but show me the louis alchemy and i will change my mind
<kof673>
stiff competition, hard to beat > A mysterious time traveler in Castlevania: Curse of Darkness who seems to have infinite knowledge. He has the ability to shift his position in respect to time
X-Scale has joined #osdev
<Ermine>
St. Louis is from Azur Lane actually
<kof673>
> The Spirit of St. Louis is the custom-built, single-engine, single-seat, high-wing monoplane that Charles Lindbergh flew on May 20–21, 1927
<kof673>
at an amusement park that was on the side of one of the planes, a kid ride. so it is/was used for planes too
X-Scale has quit [Quit: Client closed]
levitating has joined #osdev
levitating has quit [Remote host closed the connection]
levitating has joined #osdev
levitating has quit [Remote host closed the connection]
levitating has joined #osdev
levitating has quit [Remote host closed the connection]
Turn_Left has quit [Read error: Connection reset by peer]
<heat>
today in me: tcp syn handling is incredibly annoying and i'm upset
<heat>
not only do you need to write code, it turns out that the ancients decided to create some pseudo-ish sockets instead of the real deal with dealing with this - which makes you need to duplicate a lot of code
<heat>
add tricky locking into the mix and i'm very upset
<nikolar>
pseudo-ish sockets?
<heat>
yeah. i think because of DoS problems they decided long ago to instead of allocating the final tcp_sock structs (or what have you), they allocate a much smaller variant
<heat>
linux and freebsd at least, i didn't check aynthing else