update README

diff --git a/lib/README.txt b/lib/README.txt
index 3383c7cc14c5349c08efd037383e4d96da331a54..f874dc5f17c9944e1bc24e156dd944e8f35f8658 100644 (file)
--- a/lib/README.txt
+++ b/lib/README.txt
@@ -1,9 +1,13 @@
 Libraries hosted in this directory:
 
-rumprun_core:
+bmk_core:
        "kernel" routines, these are self-contained and especially
        may *NOT* use libc interfaces
 
+bmk_rumpuser:
+       common bits for the rump kernel hypercall implementation,
+       runs on top of bmk.
+
 rumprun_base:
        "userspace" routines, implement some libc interfaces, etc.