This website requires JavaScript.
Explore
Help
Sign In
max 🍓
wash
0 Followers
·
0 Following
https://wash.red
Joined on
2025-11-17
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
9
Projects
Packages
Public Activity
Starred Repositories
wash
pushed to
main
at
wash/rosetta
2026-03-10 19:20:21 +00:00
86ca343cf0
interface: fs: remove old ifc definition file
wash
pushed to
main
at
wash/mango
2026-03-10 19:16:56 +00:00
de520cdd2d
libmango: types: add macro to define a kern_msg_handle_t
e84ed6057d
channel: fix incorrect offset used in channel_write_msg
Compare 2 commits »
wash
pushed to
main
at
wash/rosetta
2026-03-10 19:16:54 +00:00
b680ffdd5b
meta: update kernel
14799e0d58
ld: use unistd i/o functions to open/read library files
b7452a449b
bootstrap: update tarfs driver with libfs support
ea6ec785a9
lib: c: re-organise into separate static modules, plus a single shared library
6d88cf4bf3
lib: fs: implement mounting filesystems; reading, writing from files
Compare 10 commits »
wash
pushed to
main
at
wash/mango
2026-03-06 20:21:02 +00:00
1d4cb882a8
libmango: types: add ssize_t definition
18b281debf
kernel: bsp: add support for static bootstrap executables
09d292fd09
kernel: msg: include details about who sent a message
36c5ac7837
kernel: re-implement sending handles via port messages
b1bdb89ca4
vm: region: add a function to write data from a kernel buffer to a vm-region
Compare 5 commits »
wash
pushed to
main
at
wash/rosetta
2026-03-06 20:21:01 +00:00
3a06c18e10
meta: update kernel
e46c20b572
services: ldd: update dependencies
0a07db360c
test: update dependencies
1f2bd09d57
systemd: update dependencies
72b5801292
ld: remove test messages
Compare 14 commits »
wash
pushed to
main
at
wash/rosetta
2026-02-26 20:55:45 +00:00
267b893bf4
meta: update kernel
d6b3af6e67
toolchain: ifc: update mpc api usage
4be6f231e6
bootstrap: update channel creation
Compare 3 commits »
wash
pushed to
main
at
wash/mango
2026-02-26 20:55:26 +00:00
f8a7a4285f
syscall: msg: validate iovec array itself as well as the buffers it points to
f9bf4c618a
syscall: log: add task id to log output
Compare 2 commits »
wash
pushed to
main
at
wash/mango
2026-02-26 20:53:55 +00:00
e4de3af00d
kernel: remove support for sending kernel handles via port/channel
wash
pushed to
main
at
wash/mango
2026-02-26 20:50:57 +00:00
634f4517c8
kernel: remove support for sending kernel handles via port/channel
wash
pushed to
main
at
wash/mango
2026-02-26 19:55:13 +00:00
b59d0d8948
syscall: msg: locking of vm-region is now handled by channel_read_msg
8cc877c251
kernel: port: dequeue kmsg struct once reply is received
2073cad97b
kernel: fix channel locking and status update issues
eb8758bc5e
vm: region: fix some cases where regions weren't being unlocked after use.
1cdde0d32e
kernel: add functions for safely (un)locking pairs of objects
Compare 5 commits »
wash
pushed to
main
at
wash/rosetta
2026-02-26 19:48:12 +00:00
598bdb1410
ld: switch to ifc-generated ipc interface
285a80530d
bootstrap: switch to ifc-generated ipc interface
3b50715559
lib: delete hand-written msg interface libraries
bdb2e0ed50
interface: add sample filesystem interface
01109948b2
meta: add tool to combine multiple compile-commands database files
Compare 7 commits »
wash
pushed to
main
at
wash/rosetta
2026-02-23 21:58:39 +00:00
e2b19c3e9a
meta: update kernel
411423bf30
meta: add build type variable to configure_build
0183790af3
ld: send fs.open() message to bootstrap
418c426e83
bootstrap: replace bare string message with fs.open()
eca9d3915b
lib: msg-fs: implement open() send/recv
Compare 8 commits »
wash
pushed to
main
at
wash/mango
2026-02-23 21:52:16 +00:00
1c7c90ef39
kernel: channel: implement channel_read_msg and msg_read
11c741bd68
libmango: add nr_read output param to msg_read
34bd6e479c
vm: region: add nr_bytes_moved output param to memmove_v
Compare 3 commits »
wash
pushed to
main
at
wash/rosetta
2026-02-23 18:53:11 +00:00
dbb2d72bcb
meta: update kernel
wash
pushed to
main
at
wash/rosetta
2026-02-23 18:48:16 +00:00
67187e457f
cmake: fix debug qemu rules using wrong kernel executable
f778762545
ld: simple heap allocation test
c39e0b206a
lib: micro-c: implement sbrk emulation and dlmalloc
562a729c25
lib: launch: cleanup local exec vm-region once load is complete
Compare 4 commits »
wash
pushed to
main
at
wash/mango
2026-02-23 18:43:53 +00:00
5f0654430d
syscall: add task_self, task_get_address_space, and vm_region_kill
fd1bc0ad5f
kernel: check object refcount before performing a recursive deletion
b1ffdcf2bc
vm: region: improve locking rules and semantics; implement region killing
5690dd5b9c
kernel: add support for recursive object destruction (without recursion)
37ae7aeef7
kernel: implement globally-unique object ids
Compare 8 commits »
wash
pushed to
main
at
wash/rosetta
2026-02-22 16:25:14 +00:00
5721daa049
cmake: only enable KVM if building on Linux
wash
pushed to
main
at
wash/mango
2026-02-21 23:27:10 +00:00
b2d04c5983
vm: object: zero-initialise pages allocated for vm-object
6c2ca888ee
x86_64: remove kernel image post-build ELF32 patch
044b3688aa
vm: cache: all allocations are now zero-initialised
Compare 3 commits »
wash
pushed to
main
at
wash/rosetta
2026-02-21 23:27:05 +00:00
fe3b014e09
meta: update ropkg
67ae16a756
meta: update kernel
5bc9ff4fd1
cmake: add support for cd-rom booting via Bochs
728e1f057c
cmake: add support for gdb debugging, cd-rom boot
b62052f619
cmake: implementing bootable CD-ROM image generation with GRUB
Compare 8 commits »
wash
pushed to
main
at
wash/dotfiles
2026-02-21 19:38:02 +00:00
59562cb4a9
meta: add clang-format config
First
Previous
1
2
3
4
5
Next
Last