git.barrelfish.org Git - barrelfish/search

2017-09-26	Simon Gerber	Merge Razvan's process management code. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-31	Simon Gerber	kernel: capabilities: treat full object retypes with... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Merge branch 'master' of ssh://code.systems.ethz.ch...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Tidy up the process management test.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Clean up and document the process management code.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Change 'exit' from RPC to message in if/proc_mgmt.if.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Preallocate an L2 cnode and fill it with domain caps...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Fix typo in if/proc_mgmt.if	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Fix bug in libdomain/domain_cap_hash()	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	DIRTY benchmark commit	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Change proc_mgmt/pending_clients.h to use reply queues...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Add extra layer of queuing above the Flounder UMP one.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Remove the mutex-based event queuing in the process...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Fix a bug where pending cleanup clients wouldn't be...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Add per-spawnd message queues to the process manager.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Break the spawnd kill API into kill + cleanup.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Have the spawn interface for the process manager require...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Extract a through-monitor-only cap_identify call from...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Implement "wait" in the process manager + fix bug in...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Implement kill() and exit() in the process manager.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Implement kill_request_handler in spawnd, using domain...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Add spawn, spawn_with_caps and span calls to the Process...	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Create "ProcessManager" and "Domain" capabilities.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	Refactor process manager to enable spawnd discovery.	commit \| commitdiff \| tree
2017-08-31	Razvan Damachi	First outline of a process management service server.	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	kernel: caps_mark_revoke: fix assertions after marking... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	kernel: capabilities: wrap check_caps_create_arguments... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	harness: machines: define custom buildall targets for... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	harness: fix release build to ignore unused variables Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	kernel: caps_mark_revoke: fix marking of cap copies... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	libskb: include sys/types.h (instead of sys/param.h... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	vmkitmon/arrakismon: do not include sys/param.h Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	hake: x86_64: re-enable -Werror for cpu driver Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	x86_64: kernel: do not include machine/param.h Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	omap44xx: sdma: remove redundant redefinitions of MIN() Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	libmdb: wrap function that is only used with assertions... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	Use min/max macros from bitmacros.h instead of including... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	monitor: capops: move: reformat some function definitions Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	monitor: capops: copy: add DEBUG_CAPOPS and clearer... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	monitor: capops: copy: properly zero copy state structs... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	monitor: capops: ownership xfer, delete, retype, revoke... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	libbarrelfish: pinned: reserve 128MB for pinned slabs... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	libbarrelfish: pinned: refill slabs in 64 page chunks... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	T381: x86_64: properly handle racy page table allocations... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	stdio: add __printflike() to ANSI C functions Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	hake: armv7_gem5_vexpressemm: Fix armv7 gem5 menu.lst... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	Fix various memory leaks and uninitialized variable... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-08-29	Simon Gerber	harness: memtest: properly fail memtest_multicore when... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn04: update vm technote to match recent implementation... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	tests: fix skb cap storage test to use %PRIuGENPADDR... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	kernel: caps_lookup_slot: fix edgecase for l1 index... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: add invocations on VNode and some minor... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: more updates to ch6 Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: Reword hybrid solution section Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: Add section on Mark's hybrid operations... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: Add section on implementation of cap database Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: Update wording for frame/devframe ondelete() Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: add mapping capability to types Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: fix comment in hakefile Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: add KCB to cap types Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: Add one sentence description for all currently... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	doc: tn13: update capability type section Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	documentation: tn13: start updating capmgmt technote Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	tests: update L1/L2 CNode creation tests and add harness... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	harness: distops tests: make sure tests have run when... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	harness: cleanup tests to not override is_finished... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	armv8: kaluga: remove early oct_set("all_spawnds_up") Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-06-02	Simon Gerber	harness: fix gorgonzola2 machine data Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-05-05	Simon Gerber	harness: tftp test: actually check that we got the... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-05-05	Simon Gerber	harness: test base class: check for finish string not... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-05-04	Simon Gerber	Add simple tftp client test Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-05-04	Simon Gerber	harness: Delete tests/tftp.py which is copied tests... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-05-02	Simon Gerber	capops: add some more DEBUG_CAPOPS in delete code Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-05-02	Simon Gerber	T245: capops: fix distributed delete Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-04-18	Simon Gerber	Merge Github PR#5. Add missing error check in frame_identify() Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-03-07	Simon Gerber	libvfs: vfs_fd: correctly set errno = ENOENT on FS_ERR_NOTFILE Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2017-01-17	Simon Gerber	harness: pandaboard: cleanup compiler-rt tests Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-22	Simon Gerber	harness: armv8 efi machine: fix boot module list extraction Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-22	Simon Gerber	Merge GitHub PR#3. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-22	Simon Gerber	harness: Remove old pandaboard buildall harness test Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-22	Simon Gerber	libbarrelfish: memobj_anon: fix vregion slab refilling Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	libbarrelfish: vspace_pinned_alloc: acquire lock nested... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	libbarrelfish: memobj_anon: change refilling flag to... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	acpi: Backout changes to acpica_osglue code. Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	libspawndomain: elf_allocate: remove wrong(?) vspace_lvaddr_... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	libbarrelfish: memobj_anon: fill: refill slab allocator... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	acpi: map/unmap: always call mm_realloc_range() for... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	libbarrelfish: make cap deletion in memobj_destroy_anon... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	acpi: osglue: improve and simplify AcpiOsMapMemory... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-15	Simon Gerber	libbarrelfish: memobj_anon: return error if frame_identify... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-14	Simon Gerber	capabilities: make mapping caps size 1 (from 0) so... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-14	Simon Gerber	kernel: retype: more diagnostics on retype range checks Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-12-14	Simon Gerber	libmdb: add argument sanity check in mdb_is_inside() Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-30	Simon Gerber	harness: exit with non-zero when tests fail Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-10	Simon Gerber	harness: compiler rt: fix vector fp test again Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-10	Simon Gerber	ump_bench: num_cores in main.c is number of spawned... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-10	Simon Gerber	Revert "harness: pandaboard: powercycle rack pandaboards... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-10	Simon Gerber	harness: pandaboard: powercycle rack pandaboards after... Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-10	Simon Gerber	harness: compiler rt: fix VFP test Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
2016-11-10	Simon Gerber	kaluga: remove debug printf Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>	commit \| commitdiff \| tree
next

Barrelfish OS git repo

RSS Atom